zicbom_dcache_wb_range
void zicbom_dcache_wb_range(vaddr_t, vsize_t);
cpu_dcache_wb_range = zicbom_dcache_wb_range;