PM_STAGE2
#define PMAP_ASSERT_STAGE2(pmap) MPASS((pmap)->pm_stage == PM_STAGE2)
else if (pmap->pm_stage == PM_STAGE2 &&
case PM_STAGE2:
(pmap->pm_stage == PM_STAGE2 && pmap == PCPU_GET(curvmpmap))) {
if (pmap->pm_stage == PM_STAGE2)
pmap_pinit_stage(pmap, PM_STAGE2, vmm_pmap_levels);
if (stage == PM_STAGE2)
if (pmap->pm_stage == PM_STAGE2)
npages = pmap->pm_stage == PM_STAGE2 ? 4 : 1;
pmap_pinit_stage(pmap, PM_STAGE2);