Symbol: cpu_sdcache_wbinv_range
sys/arch/arm/arm/bus_dma.c
419
cpu_sdcache_wbinv_range(va, pa, len);
sys/arch/arm/arm/bus_dma.c
431
cpu_sdcache_wbinv_range(va, pa, line_size);
sys/arch/arm/arm/bus_dma.c
448
cpu_sdcache_wbinv_range(va, pa, line_size);
sys/arch/arm/arm/pmap7.c
1420
cpu_sdcache_wbinv_range(va, (pa & PMAP_PA_MASK), PAGE_SIZE);