runq_remove
runq_remove(TS_RUNQ_PTR(ts), td);
runq_remove(runq, td);
queue_empty = runq_remove(&tdq->tdq_runq, td);
bool runq_remove(struct runq *, struct thread *);