Symbol: schedule_idle
kernel/sched/idle.c
381
schedule_idle();
kernel/sched/sched.h
2874
extern void schedule_idle(void);