membar_enter
#define mb() membar_enter()
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter(); /* hrestime must be visible before timechanged++ */
membar_enter(); /* hrestime visible */
membar_enter();
membar_enter(); /* make sure stores are flushed */
membar_enter(); /* make sure stores are flushed */
membar_enter(); /* ensure visibility for hold_devi */
membar_enter(); /* make sure stores are flushed */
membar_enter(); /* make sure stores are flushed */
membar_enter(); /* make sure stores are flushed */
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
extern void membar_enter(void);
membar_enter(); \
membar_enter(); \
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter(); \
membar_enter(); /* make sure stores are flushed */
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
membar_enter();
#define xen_mb membar_enter
membar_enter(); /* make sure globally visible to all CPUs */
membar_enter(); /* make sure RELOC flag visible */
membar_enter();
membar_enter(); /* make sure updated gnum visible */
membar_enter(); /* make sure new TSB globally visible */
membar_enter();
membar_enter();
membar_enter();
membar_enter(); /* make sure stores are flushed */