Symbol: scx_idle_disable
kernel/sched/ext/ext.c
6178
scx_idle_disable();
kernel/sched/ext/idle.h
28
void scx_idle_disable(void);