TIMER_MAX
p31b_setcfg(CTL_P1003_1B_TIMER_MAX, TIMER_MAX);
for (id = 3; id < TIMER_MAX; id++)
if (id == TIMER_MAX) {
(timerid < 0) || (timerid >= TIMER_MAX) ||
for (i = start_idx; i < TIMER_MAX; ++i) {
for (id = 3; id < TIMER_MAX; id++) {
struct itimer *its_timers[TIMER_MAX];