Symbol: sched_idle
sys/kern/kern_idle.c
81
sched_idle();
sys/sys/sched.h
278
void sched_idle(void);