WMB                57 dmtcpplugin.cpp static inline void memfence(){  RMB; WMB; }
WMB               421 mtcp/mtcp_restart.c   WMB; // refresh instruction cache, for new memory
WMB               788 mtcp/mtcp_restart.c   WMB;
WMB               260 mtcp/mtcp_util.c   WMB;
WMB               292 mtcp/mtcp_util.c   WMB;
WMB               162 shareddata.cpp   WMB;  // Ensure store to memory by kernel mmap call has completed
WMB               208 shareddata.cpp WMB;
WMB                53 util_misc.cpp    WMB;  // DMB, ensure writes by others to memory have completed before we
WMB                64 util_misc.cpp    RMB; WMB; // DMB, ensure accesses to protected memory have completed
WMB                73 util_misc.cpp    WMB;  // DSB, ensure update of fl before seen by other CPUs