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