RISCV_PTE_X
if ((pte & RISCV_PTE_X) != 0)
#define RISCV_PTE_RWX (RISCV_PTE_R | RISCV_PTE_W | RISCV_PTE_X)
_Static_assert(PTE_X == RISCV_PTE_X, "PTE_X mismatch");