4 /* Mill second tick count */
5 volatile uint32_t timer_count = 0;
7 /* Timer interrupt handler */
8 void SysTick_Handler(void) {
15 SysTick_Config(SystemCoreClock / 1000); /* 1ms tick */
18 void timer_clear(void)
23 uint16_t timer_read(void)
25 return (uint16_t)(timer_count & 0xFFFF);
28 uint32_t timer_read32(void)
33 uint16_t timer_elapsed(uint16_t last)
35 return TIMER_DIFF_16(timer_read(), last);
38 uint32_t timer_elapsed32(uint32_t last)
40 return TIMER_DIFF_32(timer_read32(), last);