Symbol: thead_dcache_inv_range
sys/arch/riscv64/riscv64/cpu.c
161
void thead_dcache_inv_range(vaddr_t, vsize_t);
sys/arch/riscv64/riscv64/cpu.c
263
cpu_dcache_inv_range = thead_dcache_inv_range;