Symbol: zicbom_dcache_wb_range
sys/arch/riscv64/riscv64/cpu.c
119
void zicbom_dcache_wb_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
205
cpu_dcache_wb_range = zicbom_dcache_wb_range;