futex_requeue — Requeue waiters from uaddr1 to uaddr2
int futex_requeue ( | u32 __user * uaddr1, |
| unsigned int flags, | |
| u32 __user * uaddr2, | |
| int nr_wake, | |
| int nr_requeue, | |
| u32 * cmpval, | |
int requeue_pi); |
u32 __user * uaddr1source futex user address
unsigned int flagsfutex flags (FLAGS_SHARED, etc.)
u32 __user * uaddr2target futex user address
int nr_wakenumber of waiters to wake (must be 1 for requeue_pi)
int nr_requeuenumber of waiters to requeue (0-INT_MAX)
u32 * cmpval
uaddr1 expected value (or NULL)
int requeue_piif we are attempting to requeue from a non-pi futex to a pi futex (pi to pi requeue is not supported)