cpu_dcache_inv_range
cpu_dcache_inv_range(va, len);
cpu_dcache_inv_range(va, len);
cpu_dcache_inv_range(va, len);
void cpu_dcache_inv_range(vaddr_t, vsize_t);
cpu_dcache_inv_range = sfcc_cache_wbinv_range;
extern void (*cpu_dcache_inv_range)(vaddr_t, vsize_t);
cpu_dcache_inv_range(va, len);
cpu_dcache_inv_range = zicbom_dcache_inv_range;
cpu_dcache_inv_range = thead_dcache_inv_range;
void (*cpu_dcache_inv_range)(vaddr_t, vsize_t) = cpu_cache_nop_range;