disp_getwork
static kthread_t *disp_getwork(cpu_t *to);
if ((t = disp_getwork(cp)) == NULL) {
if ((tp = disp_getwork(cpup)) == NULL ||