fa526_dcache_wb_range
.cf_dcache_wb_range = fa526_dcache_wb_range,
void fa526_dcache_wb_range (vaddr_t, vsize_t);