Searched refs:os_futex_wake (Results 1 – 3 of 3) sorted by relevance
204 int os_futex_wake(void *uaddr) in os_futex_wake() function
198 os_futex_wake(&cpu_states[cpu]); in __cpu_up()
220 int os_futex_wake(void *uaddr);