Symbol: cpu_sdcache_inv_range
sys/arch/arm/arm/bus_dma.c
442
cpu_sdcache_inv_range(va, pa, len);
sys/arch/arm/arm/bus_dma.c
468
cpu_sdcache_inv_range(va, pa, len);