Symbol: fu540_ccache_cache_wbinv_range
sys/arch/riscv/sifive/fu540_ccache.c
223
cpu_sdcache_wbinv_range = fu540_ccache_cache_wbinv_range;
sys/arch/riscv/sifive/fu540_ccache.c
224
cpu_sdcache_inv_range = fu540_ccache_cache_wbinv_range;
sys/arch/riscv/sifive/fu540_ccache.c
225
cpu_sdcache_wb_range = fu540_ccache_cache_wbinv_range;