Lines Matching defs:cpu_resched
103 static void cpu_resched(cpu_t *cp, pri_t tpri);
1121 cpu_resched(cpu_t *cp, pri_t tpri)
1341 cpu_resched(cp, tpri);
1500 cpu_resched(cp, tpri);
1595 cpu_resched(cp, tpri);
2368 * and disp_ratify() vs cpu_resched() where cpu_resched() is trying
2372 * cpu_resched() tries to preempt the wrong thread and the
2380 * cpu_resched() with disp_getbest() and disp_ratify() and
2381 * synchronize the memory read and written by cpu_resched(),