Searched refs:VKI_UMTX_OP_MAX (Results 1 – 4 of 4) sorted by relevance
2004 #define VKI_UMTX_OP_MAX 23 macro
2126 #define VKI_UMTX_OP_MAX 23 macro