Searched refs:VKI_FUTEX_PRIVATE_FLAG (Results 1 – 3 of 3) sorted by relevance
136 VKI_FUTEX_WAIT | VKI_FUTEX_PRIVATE_FLAG, in acquire_sched_lock()176 VKI_FUTEX_WAKE | VKI_FUTEX_PRIVATE_FLAG, in release_sched_lock()
1302 #define VKI_FUTEX_PRIVATE_FLAG (128) macro
1136 switch(ARG2 & ~(VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_CLOCK_REALTIME)) { in PRE()1191 switch(ARG2 & ~(VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_CLOCK_REALTIME)) { in PRE()