Searched refs:VKI_UMTX_OP_MUTEX_LOCK (Results 1 – 8 of 8) sorted by relevance
1986 #define VKI_UMTX_OP_MUTEX_LOCK 5 macro
2108 #define VKI_UMTX_OP_MUTEX_LOCK 5 macro
2106 case VKI_UMTX_OP_MUTEX_LOCK: in PRE()2286 case VKI_UMTX_OP_MUTEX_LOCK: in POST()
3012 case VKI_UMTX_OP_MUTEX_LOCK: in PRE()3192 case VKI_UMTX_OP_MUTEX_LOCK: in POST()