Symbol: cpu_idcache_wbinv_range
sys/arch/arm/arm32/kobj_machdep.c
414
cpu_idcache_wbinv_range((vaddr_t)base, size);
sys/arch/arm/arm32/pmap.c
8280
cpu_idcache_wbinv_range(va, PAGE_SIZE);
sys/arch/arm/arm32/pmap.c
850
cpu_idcache_wbinv_range(va, PAGE_SIZE);