lwkt_schedule
lwkt_schedule(acpi_task_td);
lwkt_schedule(ts->dfly_td);
lwkt_schedule(td);
lwkt_schedule(worker->worker_thread);
lwkt_schedule(std->bnx_rx_std_ithread);
lwkt_schedule(std->bnx_rx_std_ithread);
lwkt_schedule(std->bnx_rx_std_ithread);
lwkt_schedule(info->data);
lwkt_schedule(info->i_thread); /* MIGHT PREEMPT */
lwkt_schedule(info->i_thread);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(info->data);
lwkt_schedule(&sc->thread);
lwkt_schedule(&sc->thread);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(cpuhelper[i]);
lwkt_schedule(td);
lwkt_schedule(td);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(dd->helper_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(nlp->lwp_thread);
lwkt_schedule(lp->lwp_thread);
lwkt_schedule(lp->lwp_thread);
lwkt_schedule(dummy_pcpu[cpuid].helper_thread);
lwkt_schedule(dummy_pcpu[tmpid].helper_thread);
lwkt_schedule(lp->lwp_thread);
lwkt_schedule(&jo->wthread);
lwkt_schedule(&jo->rthread);
lwkt_schedule(netisr_threads[i]);
lwkt_schedule(td);
void lwkt_schedule(thread_t);