runq_not_empty
return (runq_not_empty(&runq) ||
runq_not_empty(&runq_pcpu[PCPU_GET(cpuid)]));
return (runq_not_empty(&runq));
bool runq_not_empty(struct runq *);