Symbol: scx_update_idle
kernel/sched/idle.c
486
scx_update_idle(rq, false, true);
kernel/sched/idle.c
493
scx_update_idle(rq, true, true);
kernel/sched/idle.c
506
scx_update_idle(rq, true, false);