Searched refs:VKI_FUTEX_WAIT (Results 1 – 3 of 3) sorted by relevance
136 VKI_FUTEX_WAIT | VKI_FUTEX_PRIVATE_FLAG, in acquire_sched_lock()
1289 #define VKI_FUTEX_WAIT (0) macro
1171 case VKI_FUTEX_WAIT: in PRE()1192 case VKI_FUTEX_WAIT: in PRE()