Symbol: lwkt_switch_return
sys/kern/lwkt_thread.c
1052
lwkt_switch_return(xtd);
sys/kern/lwkt_thread.c
821
lwkt_switch_return(td->td_switch(ntd));
sys/sys/thread.h
507
void lwkt_switch_return(struct thread *);