set_rq_online 6525 kernel/sched.c set_rq_online(rq); set_rq_online 6831 kernel/sched.c set_rq_online(rq);