Lines Matching defs:disp_getbest
148 * This gets returned by disp_getwork/disp_getbest if we couldn't steal
155 static kthread_t *disp_getbest(disp_t *from);
730 (tp = disp_getbest(kpq)) != NULL) {
1919 tp = (disp_getbest(kpq));
2060 tp = disp_getbest(tcp->cpu_disp);
2172 * disp_getbest()
2183 disp_getbest(disp_t *dp)
2367 * There can be a memory synchronization race between disp_getbest()
2370 * disp_getbest() and disp_ratify() are changing the current thread
2380 * cpu_resched() with disp_getbest() and disp_ratify() and
2382 * disp_getbest(), and disp_ratify() with each other.