pte_value
va, pte_value(npte), rv);
(uintptr_t)VM_MD_TO_PAGE(mdpg), va, pte_value(old_pte), 0);
va, pte_value(pte));
va, asid, pte_value(pte));
pm, va, asid, pte_value(pte), pte_value(xpte), pte_value(opte),
pte_value(pte), ptep);
KASSERTMSG(pte_valid_p(pte), "%#"PRIx32, pte_value(pte));
pmap, vaddr, pte_value(pte), ok);
asid, ptep, ptep ? pte_value(*ptep) : 0);
asid, ptep, ptep ? pte_value(*ptep) : 0);
pte_value(pte));
pte_value(npte), pa, 0, 0);
pmap, va, pte_value(pte), ptep);
(uintptr_t)nptep, pte_value(atomic_load_relaxed(nptep)), 0, 0);
__func__, va, pa, pte_value(pte));
(uintptr_t)pm, va, pte_value(pte), flags);
va, pte_value(pte));
rv, va, pai->pai_asid, pte_value(pte));
pm, pai->pai_asid, va, pte_value(pte), rv);