Symbol: lwkt_yield_quick
sys/kern/usched_dfly.c
373
lwkt_yield_quick();
sys/sys/thread.h
515
void lwkt_yield_quick(void);