Symbol: cpu_idle_enter
sys/kern/kern_sched.c
191
cpu_idle_enter();
sys/sys/sched.h
172
void cpu_idle_enter(void);