ATTR_TO_L2
pte2 = pa | ATTR_TO_L2(pte1) | PTE2_V;
npte2 = pte1_pa(opte1) | ATTR_TO_L2(opte1) | PTE2_V;