Use syscall instead of futex_wake