Symbol: cpu_idle_cycle
sys/kern/kern_sched.c
204
cpu_idle_cycle();
sys/sys/sched.h
173
void cpu_idle_cycle(void);