l3pte_pa
pr(", PA=%lx", l3pte_pa(pte));
pa = l3pte_pa(pte);
va, l3pte_pa(opte), pa, opte);
if (pa == l3pte_pa(opte)) {
((opp = phys_to_pp(l3pte_pa(opte))) != NULL)) {
pa = l3pte_pa(*ptep);
va, ptep, l3pte_pa(pte), 0);
va, ptep, l3pte_pa(pte), 0);
const paddr_t pa = l3pte_pa(opte);
return l3pte_pa(pte);