void SIZE(libat_store) (UTYPE *mptr, UTYPE val, int smodel) { if (maybe_specialcase_relaxed(smodel)) *mptr = val; else { __kernel_dmb (); *mptr = val; __kernel_dmb (); } }
UTYPE SIZE(libat_load) (UTYPE *mptr, int smodel) { UTYPE ret; if (maybe_specialcase_relaxed(smodel)) ret = *mptr; else { __kernel_dmb (); ret = *mptr; __kernel_dmb (); } return ret; }
void HIDDEN __sync_synchronize (void) { __kernel_dmb (); }