Symbol: zicbom_dcache_inv_range
sys/arch/riscv64/riscv64/cpu.c
118
void zicbom_dcache_inv_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
204
cpu_dcache_inv_range = zicbom_dcache_inv_range;