Symbol: arml2cc_sdcache_wbinv_range
sys/arch/arm/cortex/arml2cc.c
105
void arml2cc_sdcache_wbinv_range(vaddr_t, paddr_t, psize_t);
sys/arch/arm/cortex/arml2cc.c
161
cpufuncs.cf_sdcache_wbinv_range = arml2cc_sdcache_wbinv_range;