ASSERT_LWKT_TOKEN_HELD
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(&snp_token);
ASSERT_LWKT_TOKEN_HELD(&snp_token);
ASSERT_LWKT_TOKEN_HELD(&tty_token);
ASSERT_LWKT_TOKEN_HELD(&p->p_token);
ASSERT_LWKT_TOKEN_HELD(&lp->lwp_token);
ASSERT_LWKT_TOKEN_HELD(&p->p_token);
ASSERT_LWKT_TOKEN_HELD(&p->p_token);
ASSERT_LWKT_TOKEN_HELD(&lp->lwp_token);
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(&tp->t_token);
ASSERT_LWKT_TOKEN_HELD(lwkt_token_pool_lookup((unp)))
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_token);
ASSERT_LWKT_TOKEN_HELD(&unp_rights_token);
ASSERT_LWKT_TOKEN_HELD(&unp_rights_token);
ASSERT_LWKT_TOKEN_HELD(vm_object_token(obj));
ASSERT_LWKT_TOKEN_HELD(&vp->v_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(&pf_token);
ASSERT_LWKT_TOKEN_HELD(lwkt_token_pool_lookup((pcbhashhead)))
ASSERT_LWKT_TOKEN_HELD((pcbinfo)->infotoken); \
ASSERT_LWKT_TOKEN_HELD(vm_object_token(pmap->pm_pteobj));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(pmap->pm_pteobj));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(lwkt_token_pool_lookup(nep))
ASSERT_LWKT_TOKEN_HELD(&slp->ns_token);
ASSERT_LWKT_TOKEN_HELD(&nfs_token);
ASSERT_LWKT_TOKEN_HELD(&nfs_token);
ASSERT_LWKT_TOKEN_HELD(&p->p_token);
ASSERT_LWKT_TOKEN_HELD(&p->p_token);
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(srcobject));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(dstobject));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(fs->first_ba->object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(fs->first_ba->object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(&obj->token);
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(&object->token);
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD(vm_object_token(object));