Searched refs:VKI_FUTEX_CLOCK_REALTIME (Results 1 – 2 of 2) sorted by relevance
1303 #define VKI_FUTEX_CLOCK_REALTIME (256) 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()