Searched refs:VKI_FUTEX_WAKE (Results 1 – 3 of 3) sorted by relevance
179 VKI_FUTEX_WAKE | VKI_FUTEX_PRIVATE_FLAG, in release_sched_lock()
1268 #define VKI_FUTEX_WAKE (1) macro
1138 case VKI_FUTEX_WAKE: in PRE()1176 case VKI_FUTEX_WAKE: in PRE()