TICKTIMER
TIMER_CTRL(TICKTIMER), TIMER_OSC24M);
sxitimer_freq[TICKTIMER] * (1ULL << 32) / 1000000000;
arm_intr_establish(sxitimer_irq[TICKTIMER], IPL_CLOCK,
isr |= TIMER_IRQ(TICKTIMER);
ier |= TIMER_IRQ(TICKTIMER);
TIMER_ISR, TIMER_IRQ(TICKTIMER));
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER), ctrl & ~TIMER_ENABLE);
TIMER_INTV(TICKTIMER), cycles);
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER),
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER), ctrl & ~TIMER_ENABLE);
TIMER_INTV(TICKTIMER), 10);
TIMER_CTRL(TICKTIMER));
TIMER_CTRL(TICKTIMER),