disp_getbest
static kthread_t *disp_getbest(disp_t *from);
tp = (disp_getbest(kpq));
tp = disp_getbest(tcp->cpu_disp);
(tp = disp_getbest(kpq)) != NULL) {