RISCV_KVA_TO_PA
#define PMAP_DIRECT_UNMAP(va) RISCV_KVA_TO_PA(va)
#define POOL_VTOPHYS(va) RISCV_KVA_TO_PA((vaddr_t)(va))
paddr_t pdepa = RISCV_KVA_TO_PA(pdeva);