Searched refs:VKI_FUTEX_WAKE (Results 1 – 2 of 2) sorted by relevance
1194 #define VKI_FUTEX_WAKE (1) macro
980 case VKI_FUTEX_WAKE: in PRE()1018 case VKI_FUTEX_WAKE: in PRE()