pmap_pte_pa
pmap_pv_remove(pmap, PHYS_TO_VM_PAGE(pmap_pte_pa(pv->pv_pte)),
"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(pte);
pa = pmap_pte_pa(pte) | (vaddr & PGOFSET);
const paddr_t 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));
pmap_pte_pa(pte) != pa)
paddr_t pa = pmap_pte_pa(pte);
opa = pmap_pte_pa(pte);
pa = pmap_pte_pa(pte);
ptppa = pmap_pte_pa(pmap_pte(pmap_kernel(), ptpva));
if (pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), PG_CCB,
pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), 0,
pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), 0,
if (pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), PG_CI,
pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), PG_CI, ~0);
pmap_changebit(pmap_pte_pa(pmap_pte(pmap, va)), PG_CI, ~0);
pa = pmap_pte_pa(pmap_pte(pmap_kernel(), va));