Symbol: arml2cc_sdcache_wb_range
sys/arch/arm/cortex/arml2cc.c
107
void arml2cc_sdcache_wb_range(vaddr_t, paddr_t, psize_t);
sys/arch/arm/cortex/arml2cc.c
163
cpufuncs.cf_sdcache_wb_range = arml2cc_sdcache_wb_range;