zicbom_dcache_inv_range
void zicbom_dcache_inv_range(vaddr_t, vsize_t);
cpu_dcache_inv_range = zicbom_dcache_inv_range;