Symbol: cpu_sdcache_wb_range
sys/arch/arm/arm32/bus_dma.c
929
cpu_sdcache_wb_range(va, pa, len);
sys/arch/arm/arm32/pmap.c
2806
cpu_sdcache_wb_range(dstp, pa, PAGE_SIZE);
sys/arch/arm/include/arm32/pmap.h
584
cpu_sdcache_wb_range((vaddr_t)ptep, -1,
sys/arch/riscv/include/cpufunc.h
64
extern void (*cpu_sdcache_wb_range)(vaddr_t, paddr_t, psize_t);
sys/arch/riscv/riscv/bus_dma.c
908
cpu_sdcache_wb_range(va, pa, len);
sys/arch/riscv/riscv/cpufunc.c
94
void (*cpu_sdcache_wb_range)(vaddr_t, paddr_t, psize_t) = scache_nullop;
sys/arch/riscv/sifive/fu540_ccache.c
225
cpu_sdcache_wb_range = fu540_ccache_cache_wbinv_range;