FUTEX_WAKE
error = linux_do_futex((int *)led->led_clear_tid, FUTEX_WAKE,
case FUTEX_WAKE: {
RL(n = __futex(&futex_word, FUTEX_WAKE | FUTEX_PRIVATE_FLAG,
RL(n = __futex(&futex_word, FUTEX_WAKE | FUTEX_PRIVATE_FLAG,
__futex(futex_ptr, FUTEX_WAKE | flags,
RL(n = __futex(futex_ptr, FUTEX_WAKE | flags, 1, NULL, NULL, 0, 0));
RL(n = __futex(&futex_word, FUTEX_WAKE | flags, INT_MAX, NULL, NULL,
RL(n = __futex(&futex_word1, FUTEX_WAKE | flags, INT_MAX, NULL, NULL,
CASERETURN(FUTEX_WAKE);