Symbol: thead_dcache_wbinv_range
sys/arch/riscv64/riscv64/cpu.c
160
void thead_dcache_wbinv_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
262
cpu_dcache_wbinv_range = thead_dcache_wbinv_range;