Symbol: sfcc_cache_wbinv_range
sys/arch/riscv64/dev/sfcc.c
55
void sfcc_cache_wbinv_range(vaddr_t, vsize_t);
sys/arch/riscv64/dev/sfcc.c
93
cpu_dcache_wbinv_range = sfcc_cache_wbinv_range;
sys/arch/riscv64/dev/sfcc.c
94
cpu_dcache_inv_range = sfcc_cache_wbinv_range;
sys/arch/riscv64/dev/sfcc.c
95
cpu_dcache_wb_range = sfcc_cache_wbinv_range;