vm_page_pte2_attr
vm_page_pte2_attr(m)));
(pte2_attr(pte2) != vm_page_pte2_attr(m))) {
vm_page_pte2_attr(m)));
npte2 = PTE2(pa, PTE2_A, vm_page_pte2_attr(m));
pte2_store(pte2p, PTE2(pa, l2prot, vm_page_pte2_attr(m)));
pte1 = PTE1(pa, PTE1_NM | PTE1_RO, ATTR_TO_L1(vm_page_pte2_attr(m)));
vm_page_pte2_attr(m)));
vm_page_pte2_attr(m)));
PTE2_AP_KR | PTE2_NM, vm_page_pte2_attr(src)));
PTE2_AP_KRW, vm_page_pte2_attr(dst)));
PTE2_AP_KR | PTE2_NM, vm_page_pte2_attr(a_pg)));
PTE2_AP_KRW, vm_page_pte2_attr(b_pg)));
vm_page_pte2_attr(m)));
pmap_dcache_wb_pou(pa, len, vm_page_pte2_attr(m));
pmap_dcache_wb_pou(pa, len, vm_page_pte2_attr(m));
vm_page_pte2_attr(m)));