Symbol: lwkt_cnttoken
sys/sys/mplock2.h
23
#define get_mplock_count(td) lwkt_cnttoken(&mp_token, td)
sys/sys/thread.h
526
int lwkt_cnttoken(lwkt_token_t, thread_t);