void __DMB(void)
{
  DataMemoryBarrier(0x1f);
  return;
}