__scx_update_idle
void __scx_update_idle(struct rq *rq, bool idle, bool do_notify);
__scx_update_idle(rq, idle, do_notify);