Searched refs:VKI_FUTEX_PRIVATE_FLAG (Results 1 – 3 of 3) sorted by relevance
139 VKI_FUTEX_WAIT | VKI_FUTEX_PRIVATE_FLAG, in acquire_sched_lock()179 VKI_FUTEX_WAKE | VKI_FUTEX_PRIVATE_FLAG, in release_sched_lock()
1256 #define VKI_FUTEX_PRIVATE_FLAG (128) macro
998 switch(ARG2 & ~(VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_CLOCK_REALTIME)) { in PRE()1053 switch(ARG2 & ~(VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_CLOCK_REALTIME)) { in PRE()