MAX_TMR
virq += MAX_TMR;
} timers[MAX_TMR];
#define MAX_IRQ (MAX_SRC + MAX_IPI + MAX_TMR)
for (i = 0; i < MAX_TMR; i++) {