machine_idle 130 sys/include/hal.h void machine_idle(void); machine_idle 402 sys/kern/thread.c machine_idle();