2.4.3.3.3. Linux Futex Interface
int sys_futex (void *futex, int op, int val,
const struct timespec *timeout)
FUTEX_WAIT - verify val and sleep if unchanged
FUTEX_WAKE - wake at most val processes
FUTEX_CMP_REQUEUE - wake at most val processes and requeue rest