PTE_X
_Static_assert(PTE_X == RISCV_PTE_X, "PTE_X mismatch");
#define PTE_RWX (PTE_R | PTE_W | PTE_X)
#define PTE_RX (PTE_R | PTE_X)
new_l3 |= PTE_X;
mask |= PTE_X;
(ftype == VM_PROT_EXECUTE && (oldpte & PTE_X) == 0) ||
new_l3 |= PTE_X;
new_l2 |= PTE_X;
newl3 |= PTE_X;
(range->attrs & PTE_X) == PTE_X ? 'x' : '-',
L2_PTE(pa, PTE_KERN | PTE_X | memattr));