CNTRTIMER
TIMER_CTRL(CNTRTIMER), TIMER_OSC24M);
TIMER_INTV(CNTRTIMER), UINT32_MAX);
sxitimer_timecounter.tc_frequency = sxitimer_freq[CNTRTIMER];
printf(": %d kHz", sxitimer_freq[CNTRTIMER] / 1000);
TIMER_CTRL(CNTRTIMER));
TIMER_CTRL(CNTRTIMER),
TIMER_CURR(CNTRTIMER));