arml2cc_sdcache_inv_range
void arml2cc_sdcache_inv_range(vaddr_t, paddr_t, psize_t);
cpufuncs.cf_sdcache_inv_range = arml2cc_sdcache_inv_range;