memfence           52 dmtcpplugin.cpp static inline void memfence(){  asm volatile ("mfence" ::: "memory"); }
memfence           54 dmtcpplugin.cpp static inline void memfence(){  asm volatile ("dmb" ::: "memory"); }
memfence           57 dmtcpplugin.cpp static inline void memfence(){  RMB; WMB; }
memfence           59 dmtcpplugin.cpp # define memfence() __sync_synchronize()