PTE1_W
PTE1_NX | PTE1_RO | PTE1_U | PTE1_W | \
(((l2_attr) & PTE2_W) ? PTE1_W : 0))
(((l1_attr) & PTE1_W) ? PTE2_W : 0))
pte1_clear_bit(pte1p, PTE1_W);
~PTE1_W;
return (pte1 & PTE1_W);