cpu_sdcache_inv_range
cpu_sdcache_inv_range(va, pa, len);
cpu_sdcache_inv_range(va, pa, len);
cpu_sdcache_inv_range(va, pa, len);
extern void (*cpu_sdcache_inv_range)(vaddr_t, paddr_t, psize_t);
cpu_sdcache_inv_range(va, pa, len);
cpu_sdcache_inv_range(va, pa, len);
cpu_sdcache_inv_range(va, pa, len);
void (*cpu_sdcache_inv_range)(vaddr_t, paddr_t, psize_t) = scache_nullop;
cpu_sdcache_inv_range = fu540_ccache_cache_wbinv_range;