4 /* Mill second tick count */
5 volatile uint32_t timer_count = 0;
7 /* Timer interrupt handler */
8 void SysTick_Handler(void) { timer_count++; }
10 void timer_init(void) {
12 SysTick_Config(SystemCoreClock / 1000); /* 1ms tick */
15 void timer_clear(void) { timer_count = 0; }
17 uint16_t timer_read(void) { return (uint16_t)(timer_count & 0xFFFF); }
19 uint32_t timer_read32(void) { return timer_count; }
21 uint16_t timer_elapsed(uint16_t last) { return TIMER_DIFF_16(timer_read(), last); }
23 uint32_t timer_elapsed32(uint32_t last) { return TIMER_DIFF_32(timer_read32(), last); }