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