void *idle(void *arg) { int core; int cnt = 0; core = (uintptr_t)arg; // __sti(); while (1) { _Syscall1(__enum_kcall_nop, (uint64_t)0); } return NULL; }
int anvil_futexcondsignal(_Anvil_futex_t *pfutex) { return _Syscall1(__enum_kcall_futexcondsignal, (uint64_t)pfutex); }