RISCV_PTE_R
#define RISCV_PTE_RWX (RISCV_PTE_R | RISCV_PTE_W | RISCV_PTE_X)
_Static_assert(PTE_R == RISCV_PTE_R, "PTE_R mismatch");