Searched refs:VKI_UMTX_OP_MUTEX_WAKE (Results 1 – 8 of 8) sorted by relevance
1999 #define VKI_UMTX_OP_MUTEX_WAKE 18 /* deprecated */ macro
2121 #define VKI_UMTX_OP_MUTEX_WAKE 18 /* deprecated */ macro
2220 case VKI_UMTX_OP_MUTEX_WAKE: in PRE()2289 case VKI_UMTX_OP_MUTEX_WAKE: /* Sets/clears contested bits */ in POST()
3126 case VKI_UMTX_OP_MUTEX_WAKE: in PRE()3195 case VKI_UMTX_OP_MUTEX_WAKE: /* Sets/clears contested bits */ in POST()