Symbol: scx_idle_init
kernel/sched/ext/ext.c
10789
ret = scx_idle_init();
kernel/sched/ext/idle.h
29
int scx_idle_init(void);