Symbol: zicbom_dcache_wbinv_range
sys/arch/riscv64/riscv64/cpu.c
117
void zicbom_dcache_wbinv_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
203
cpu_dcache_wbinv_range = zicbom_dcache_wbinv_range;