231 _lwkt_tokref_init(lwkt_tokref_t ref, lwkt_token_t tok, thread_t td, long excl)  in _lwkt_tokref_init()
252 	lwkt_token_t tok;  in _lwkt_trytokref()  local
437 	lwkt_token_t tok;  in _lwkt_reltokref()  local
480 	lwkt_token_t tok;  in lwkt_getalltokens()  local
571 	lwkt_token_t tok;  in _lwkt_getalltokens_sorted()  local
655 lwkt_gettoken(lwkt_token_t tok)  in lwkt_gettoken()
726 lwkt_gettoken_shared(lwkt_token_t tok)  in lwkt_gettoken_shared()
792 lwkt_trytoken(lwkt_token_t tok)  in lwkt_trytoken()
818 	lwkt_token_t tok;  in lwkt_getpooltoken()  local
832 lwkt_reltoken(lwkt_token_t tok)  in lwkt_reltoken()
868 	lwkt_token_t tok = _lwkt_token_pool_lookup(ptr);  in lwkt_relpooltoken()  local
877 lwkt_cnttoken(lwkt_token_t tok, thread_t td)  in lwkt_cnttoken()
915 lwkt_token_init(lwkt_token_t tok, const char *desc)  in lwkt_token_init()
924 lwkt_token_uninit(lwkt_token_t tok)  in lwkt_token_uninit()
979 	struct lwkt_token *tok, **ptr;  in DB_SHOW_COMMAND()  local