LX_BLKPAG_UXN
LX_BLKPAG_UXN;
pr(", %s", (pte & LX_BLKPAG_UXN) ? "UXN" : "UX");
pte |= (LX_BLKPAG_UXN | LX_BLKPAG_PXN);
xn = user ? LX_BLKPAG_UXN : LX_BLKPAG_PXN;
*pte |= LX_BLKPAG_UXN | LX_BLKPAG_PXN;
LX_BLKPAG_UXN | LX_BLKPAG_PXN | LX_BLKPAG_AF |
atomic_swap_64(&l3[idx], pa | L3_PAGE | LX_BLKPAG_UXN |
(((pde) & ((user) ? LX_BLKPAG_UXN : LX_BLKPAG_PXN)) == 0)
| LX_BLKPAG_UXN | LX_BLKPAG_PXN
| LX_BLKPAG_UXN | LX_BLKPAG_PXN
| LX_BLKPAG_UXN | LX_BLKPAG_PXN
npte &= (is_kernel_pmap_p ? ~LX_BLKPAG_PXN : ~LX_BLKPAG_UXN);