PTN_BRANCH_ODDMAN_SLOT
KASSERT(nodep == &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode));
PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PTN_LEAF(parent);
ok = ok && PTN_BRANCH_ODDMAN_SLOT(parent) == leaf_node;
if (PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) != leaf_node) {
if (mask_node == PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode)) {
PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = target_node;
PTN_BRANCH_ODDMAN_SLOT(mask) = PT_NULL;
PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PTN_LEAF(target);
KASSERT(PT_NULL_P(PTN_BRANCH_ODDMAN_SLOT(ptn)));
KASSERT(PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) == PTN_LEAF(target));
nodep = &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode);
KASSERT(nodep == &PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode));
PTN_BRANCH_ODDMAN_SLOT(&pt->pt_rootnode) = PT_NULL;