RISCV_PTE_RWX
if ((l3 & RISCV_PTE_V) == 0 || (l3 & RISCV_PTE_RWX) == 0) {
((pte & RISCV_PTE_RWX) == 0))
_Static_assert(PTE_RWX == RISCV_PTE_RWX, "PTE_RWX mismatch");