RISCV_DIRECTMAP_START
#define RISCV_DIRECTMAP_END (RISCV_DIRECTMAP_START + RISCV_DIRECTMAP_SIZE)
#define RISCV_PA_TO_KVA(pa) ((vaddr_t) ((pa) | RISCV_DIRECTMAP_START))
pmap_direct_base = RISCV_DIRECTMAP_START;
const vaddr_t sva = RISCV_DIRECTMAP_START + pa;
IN_RANGE_P(va, RISCV_DIRECTMAP_START, RISCV_DIRECTMAP_END)