Searched refs:VKI_UMTX_OP_WAIT_UINT (Results 1 – 8 of 8) sorted by relevance
1992 #define VKI_UMTX_OP_WAIT_UINT 11 macro
2114 #define VKI_UMTX_OP_WAIT_UINT 11 macro
2161 case VKI_UMTX_OP_WAIT_UINT: in PRE()2281 case VKI_UMTX_OP_WAIT_UINT: in POST()
3067 case VKI_UMTX_OP_WAIT_UINT: in PRE()3187 case VKI_UMTX_OP_WAIT_UINT: in POST()