RBT_EMPTY
if (!(RBT_EMPTY(&root)) && (RBT_ROOT(tree, &root))->size != ITER - 1 - i)
KASSERT(RBT_EMPTY(uvm_objtree, &pmap->pm_obj.memt));
if (RBT_EMPTY(namecache_rb_cache, &ncp->nc_dvp->v_nc_tree))
if (RBT_EMPTY(namecache_rb_cache, &dvp->v_nc_tree)) {
empty = RBT_EMPTY(vxlan_peers, &vt->vt_peers);
if (RBT_EMPTY(pf_source_tree, &npfsrlim->pfsrlim_sources))
if (RBT_EMPTY(uaddr_free_rbtree, &uaddr->up_free))
KASSERT(uobj->uo_npages == 0 && RBT_EMPTY(uvm_objtree, &uobj->memt));
KDASSERT(RBT_EMPTY(uvm_map_addr, &map->addr));
KDASSERT(RBT_EMPTY(uvm_map_addr, &map->addr));
KASSERT(RBT_EMPTY(uvm_map_addr, &map->addr));
KASSERT(RBT_EMPTY(uvm_objtree, &uo->memt));
KASSERT(RBT_EMPTY(uvm_objtree, &uobj->memt));