NPTE2_IN_PG
return (PADDR2 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));
return (PADDR1 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));
KASSERT(m->ref_count <= (NPTE2_IN_PG + 1),
KASSERT(m->ref_count <= (NPTE2_IN_PG + 1),
(uintptr_t)pmap) & (NPTE2_IN_PG - 1)) == 0 &&
return (PADDR3 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));