os_futex_wake
int os_futex_wake(void *uaddr);
os_futex_wake(&stub_data->futex);
os_futex_wake(&cpu_states[cpu]);