pmap_pte2pa
pmap_pte2pa(pmap->pm_pdir[PDIR_SLOT_PTE + i]);
KASSERTMSG((PHYS_TO_VM_PAGE(pmap_pte2pa(opte)) == NULL),
KASSERTMSG((pmap_pv_tracked(pmap_pte2pa(opte)) == NULL),
if ((pg = PHYS_TO_VM_PAGE(pmap_pte2pa(opte))) != NULL) {
} else if ((pp = pmap_pv_tracked(pmap_pte2pa(opte))) == NULL) {
paddr_t pa = pmap_pte2pa(opte);
KASSERT(pmap_pdirpa(pmap, 0) == pmap_pte2pa(ci->ci_pae_l3_pdir[0]))
KASSERT(pmap_pdirpa(pmap, 0) == pmap_pte2pa(rcr3()))
pa = pmap_pte2pa(pte) | (va & (NBPD_L1 - 1));
KASSERTMSG((PHYS_TO_VM_PAGE(pmap_pte2pa(opte)) == NULL),
KASSERTMSG((pmap_pv_tracked(pmap_pte2pa(opte)) == NULL),
if ((pg = PHYS_TO_VM_PAGE(pmap_pte2pa(opte))) != NULL) {
} else if ((pp = pmap_pv_tracked(pmap_pte2pa(opte))) == NULL) {
paddr_t pa = pmap_pte2pa(opte);
paddr_t oldpa = pmap_pte2pa(opte);
paddr_t oldpa = pmap_pte2pa(opte);
sva, (paddr_t)pmap_pte2pa(*pte), (paddr_t)*pte);
ptepa = pmap_pte2pa(pteva[index]);
ptepa = pmap_pte2pa(pteva[index]);
paddr_t oldpa = pmap_pte2pa(opte);
ptepa = pmap_pte2pa(pteva[index]);
ptppa = pmap_pte2pa(pde);
pa = pmap_pte2pa(pte) | (va & (NBPD_L1 - 1));
KASSERTMSG((PHYS_TO_VM_PAGE(pmap_pte2pa(opte)) == NULL),
KASSERTMSG((pmap_pv_tracked(pmap_pte2pa(opte)) == NULL),
if ((pg = PHYS_TO_VM_PAGE(pmap_pte2pa(opte))) != NULL) {
} else if ((pp = pmap_pv_tracked(pmap_pte2pa(opte))) == NULL) {
paddr_t pa = pmap_pte2pa(opte);
ptppa = pmap_pte2pa(pde);
ptppa = pmap_pte2pa(pde);
ptppa = pmap_pte2pa(pde);