add_to_rq 398 kernel/generic/src/proc/scheduler.c add_to_rq(thread, CPU, prio); add_to_rq 418 kernel/generic/src/proc/scheduler.c add_to_rq(thread, cpu, 0);