TIMER_INTV
TIMER_INTV(CNTRTIMER), UINT32_MAX);
TIMER_INTV(TICKTIMER), cycles);
TIMER_INTV(TICKTIMER), 10);