RMB                57 dmtcpplugin.cpp static inline void memfence(){  RMB; WMB; }
RMB               420 mtcp/mtcp_restart.c   RMB; // refresh instruction cache, for new memory
RMB                64 util_misc.cpp    RMB; WMB; // DMB, ensure accesses to protected memory have completed