Searched refs:cpu_resched (Results 1 – 1 of 1) sorted by relevance
103 static void cpu_resched(cpu_t *cp, pri_t tpri);1137 cpu_resched(cpu_t *cp, pri_t tpri) in cpu_resched() function1357 cpu_resched(cp, tpri); in setbackdq()1516 cpu_resched(cp, tpri); in setfrontdq()1611 cpu_resched(cp, tpri); in setkpdq()