Symbol: cpu_idle_leave
sys/kern/kern_sched.c
206
cpu_idle_leave();
sys/sys/sched.h
174
void cpu_idle_leave(void);