lwkt_token_t
lwkt_token_t tok;
lwkt_token_t token;
lwkt_token_t
_lwkt_tokref_init(lwkt_tokref_t ref, lwkt_token_t tok, thread_t td, long excl)
lwkt_token_t tok;
lwkt_token_t tok;
lwkt_token_t tok;
lwkt_token_t tok;
lwkt_gettoken(lwkt_token_t tok)
lwkt_gettoken_shared(lwkt_token_t tok)
lwkt_trytoken(lwkt_token_t tok)
lwkt_token_t
lwkt_token_t tok;
lwkt_reltoken(lwkt_token_t tok)
lwkt_token_t tok = _lwkt_token_pool_lookup(ptr);
lwkt_cnttoken(lwkt_token_t tok, thread_t td)
lwkt_token_t
lwkt_token_init(lwkt_token_t tok, const char *desc)
lwkt_token_uninit(lwkt_token_t tok)
lwkt_token_t tok1, tok2;
#define TOKEN_ARGS lwkt_tokref_t ref, lwkt_token_t tok, struct thread *td
lwkt_token_t tr_tok; /* token in question */
void lwkt_gettoken(lwkt_token_t);
void lwkt_gettoken_shared(lwkt_token_t);
int lwkt_trytoken(lwkt_token_t);
void lwkt_reltoken(lwkt_token_t);
int lwkt_cnttoken(lwkt_token_t, thread_t);
void lwkt_token_init(lwkt_token_t, const char *);
void lwkt_token_uninit(lwkt_token_t);
lwkt_token_t lwkt_token_pool_lookup(void *);
lwkt_token_t lwkt_getpooltoken(void *);
_lwkt_token_held_any(lwkt_token_t tok, thread_t td)
_lwkt_token_held_excl(lwkt_token_t tok, thread_t td)
static __inline lwkt_token_t
lwkt_gettoken(lwkt_token_t tok)
lwkt_reltoken(lwkt_token_t tok)