isl_schedule.c: extract out reset_band