PMAP_INVL_GEN_NEXT_INVALID
~PMAP_INVL_GEN_NEXT_INVALID);
KASSERT(((uintptr_t)invl_gen->next & PMAP_INVL_GEN_NEXT_INVALID) == 0,
if ((prevl & PMAP_INVL_GEN_NEXT_INVALID) != 0) {
PMAP_INVL_GEN_NEXT_INVALID);
PMAP_INVL_GEN_NEXT_INVALID);
pn = (void *)(nextl & ~PMAP_INVL_GEN_NEXT_INVALID);
(nextl & PMAP_INVL_GEN_NEXT_INVALID) != 0, td,
return (((uintptr_t)invl_gen->next & PMAP_INVL_GEN_NEXT_INVALID) != 0);
invl_gen->next = (void *)PMAP_INVL_GEN_NEXT_INVALID;
if ((old_high & PMAP_INVL_GEN_NEXT_INVALID) != 0)
if ((prevl & PMAP_INVL_GEN_NEXT_INVALID) != 0) {