Module futex 

Constants

FUTEX_CMD_MASK 🔒

FUTEX_WAIT 🔒

FUTEX_WAIT_BITSET 🔒

FUTEX_WAKE 🔒

FUTEX_WAKE_BITSET 🔒

Statics

FUTEX_WAKERS 🔒

Functions

get_futex_waker 🔒

init_futex_wakers 🔒

sys_futex

Linux futex syscall (minimal implementation: WAIT/WAKE)

wake_address

Wake up to max waiters on a futex at uaddr.