futex_lock_pi
extern int futex_lock_pi(u32 __user *uaddr, unsigned int flags, ktime_t *time, int trylock);
return futex_lock_pi(uaddr, flags, timeout, 0);
return futex_lock_pi(uaddr, flags, NULL, 1);
bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);
bool val41 = futex_lock_pi || val40;
bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);
bool val41 = futex_lock_pi || val40;
ret = futex_lock_pi(w->futex, NULL, futex_flag);
futex_lock_pi(&f2, NULL, 0, FUTEX_PRIVATE_FLAG);
futex_lock_pi(&f2, NULL, 0, FUTEX_PRIVATE_FLAG);
futex_lock_pi(&f2, NULL, 0, FUTEX_PRIVATE_FLAG);
args->ret = futex_lock_pi(&f2, NULL, 0, FUTEX_PRIVATE_FLAG);
futex_lock_pi(&f2, 0, 0, FUTEX_PRIVATE_FLAG);
res = futex_lock_pi(&futex_pi, &to, 0, 0);
res = futex_lock_pi(&futex_pi, NULL, 0, FUTEX_CLOCK_REALTIME);
ret = futex_lock_pi(&futex_pi, NULL, 0, 0);