OPENPIC_TIMERS
struct openpic_timer sc_saved_timers[OPENPIC_TIMERS];
for (i = 0; i < OPENPIC_TIMERS; i++) {