#ifndef MEMBARRIER_HH
#define MEMBARRIER_HH


void memory_barrier ()
{
  asm("mfence");
}


#endif // MEMBARRIER_HH