Symbol: lwkt_token_pool_init
sys/platform/pc64/x86_64/machdep.c
3380
lwkt_token_pool_init();
sys/platform/vkernel64/platform/init.c
772
lwkt_token_pool_init();
sys/sys/thread.h
532
void lwkt_token_pool_init(void);