85c31b11c3
a new inline, resched_proc(). * When performing the resched check, check the priority against the current priority on the CPU the process last ran on, not always the current CPU.