pmap_pte_pa
if (PAGE_IS_MANAGED(pmap_pte_pa(l3pte)) &&
pmap_pte_pa(pv->pv_pte) != VM_PAGE_TO_PHYS(pg))
"0x%lx\n", pmap_pte_pa(l1pte));
"0x%lx\n", pmap_pte_pa(l2pte));
opa = pmap_pte_pa(pte);
pa = pmap_pte_pa(l3pte) | (va & PGOFSET);
pa = pmap_pte_pa(l3pte) | (va & PGOFSET);
pa = pmap_pte_pa(pte);
pa = pmap_pte_pa(pte);
paddr = pmap_pte_pa(pte) | (vaddr & PGOFSET);
ptpa = pmap_pte_pa(pte);
"0x%lx\n", pmap_pte_pa(l2pte));
"0x%lx\n", pmap_pte_pa(l1pte));
lev2map = (pt_entry_t *)ALPHA_PHYS_TO_K0SEG(pmap_pte_pa(l1pte));
lev2map = (pt_entry_t *)ALPHA_PHYS_TO_K0SEG(pmap_pte_pa(l1pte));
lev3map = (pt_entry_t *)ALPHA_PHYS_TO_K0SEG(pmap_pte_pa(l2pte));