Symbol: arml2cc_sdcache_inv_range
sys/arch/arm/cortex/arml2cc.c
106
void arml2cc_sdcache_inv_range(vaddr_t, paddr_t, psize_t);
sys/arch/arm/cortex/arml2cc.c
162
cpufuncs.cf_sdcache_inv_range = arml2cc_sdcache_inv_range;