runq_choose
tdcpu = runq_choose(DPCPU_PTR(runq_pcpu));
td = runq_choose(&runq_global);
struct thread *runq_choose(struct runq *);