ATTR_TO_L1
l1_prot = ATTR_TO_L1(l2_prot);
l1_attr = ATTR_TO_L1(l2_attr);
l1prot = ATTR_TO_L1(l2prot);
l1attr = ATTR_TO_L1(l2attr);
npte1 = (fpte2 & PTE1_FRAME) | ATTR_TO_L1(fpte2) | PTE1_V;
rv = pmap_enter_pte1(pmap, va, PTE1_PA(pa) | ATTR_TO_L1(npte2) |
pte1 = PTE1(pa, PTE1_NM | PTE1_RO, ATTR_TO_L1(vm_page_pte2_attr(m)));
l1attr = ATTR_TO_L1(vm_memattr_to_pte2(pat_mode));
l1_attr = ATTR_TO_L1(PTE2_ATTR_DEFAULT);