pte_load
opte = pte_load(ptep);
opte = pte_load(ptep);
const paddr_t opte = pte_load(ptep);
opte = pte_load(ptep);
opte = pte_load(ptep);
opte = pte_load(pmap_pv_pte(pv));
opte = pte_load(ptep);
opte = pte_load(ptep);
KASSERT(! pte_valid_p(pte_load(ptep)));
opte = pte_load(ptep);
KASSERT(! pte_valid_p(pte_load(ptep)));
opte = pte_load(ptep);
opte = pte_load(ptep);
pte = pte_load(ptep);
KASSERT(! pte_valid_p(pte_load(dst_ptep)));
KASSERT(! pte_valid_p(pte_load(src_ptep)));
KASSERT(! pte_valid_p(pte_load(dst_ptep)));
combined_pte |= pte_load(pmap_pv_pte(pv));
opte = pte_load(ptep);
pt_entry_t opte = pte_load(pte);
ref_pte = pte_load(ptep);
mod_pte = pte_load(ptep);