L2PTE_TO_PHYS
pa = L2PTE_TO_PHYS(l2);
m = PHYS_TO_VM_PAGE(L2PTE_TO_PHYS(l2) +
pa = L2PTE_TO_PHYS(l2e);
!pmap_every_pte_zero(L2PTE_TO_PHYS(oldl2))) {
phys = L2PTE_TO_PHYS(l2e);