Symbol: thead_dcache_wb_range
sys/arch/riscv64/riscv64/cpu.c
162
void thead_dcache_wb_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
264
cpu_dcache_wb_range = thead_dcache_wb_range;