RISCV_DIRECTMAP_END
const vaddr_t eva = RISCV_DIRECTMAP_END;
IN_RANGE_P(va, RISCV_DIRECTMAP_START, RISCV_DIRECTMAP_END)