futex_wake
nwoken = futex_wake(f, nwake, NULL, /*nrequeue*/0, bitset);
nwoken_or_requeued = futex_wake(f, nwake, f2, nrequeue,
nwoken = futex_wake(f, nwake, NULL, /*nrequeue*/0,
nwoken += futex_wake(f2, nwake2, NULL, /*nrequeue*/0,
(void)futex_wake(f, /*nwake*/1, NULL, /*nrequeue*/0,