circuitpython/stm/timer.h

void timer_init(void);