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