SGE_NTIMERS
int timer_val[SGE_NTIMERS]; /* final, scaled values */
if (idx < 0 || idx >= SGE_NTIMERS)
if (t4_tmr_idx_ofld < 0 || t4_tmr_idx_ofld >= SGE_NTIMERS)
if (t4_tmr_idx < 0 || t4_tmr_idx >= SGE_NTIMERS)
if (idx < 0 || idx >= SGE_NTIMERS)
KASSERT(tmr_idx >= 0 && tmr_idx < SGE_NTIMERS,
int intr_timer[SGE_NTIMERS] = {1, 5, 10, 50, 100, 200};