Symbol: cpu_sdcache_wb_range
sys/arch/arm/arm/bus_dma.c
455
cpu_sdcache_wb_range(va, pa, len);
sys/arch/arm/include/pmap.h
300
cpu_sdcache_wb_range((vaddr_t)(pte), (paddr_t)(pa), \
sys/arch/arm/include/pmap.h
316
cpu_sdcache_wb_range((vaddr_t)(pte), (paddr_t)(pa), \