ARC_INTPRI_TIMER_INT
inttab = &cpu_int_tab[ARC_INTPRI_TIMER_INT];
for (inttab++, i = ARC_INTPRI_TIMER_INT + 1;
timer_jazzio_conf->tjc_intr, ARC_INTPRI_TIMER_INT);