5 void timer_init(void) {}
7 void timer_clear(void) {}
9 uint16_t timer_read(void)
11 return (uint16_t)TIME_I2MS(chVTGetSystemTime());
14 uint32_t timer_read32(void)
16 return TIME_I2MS(chVTGetSystemTime());
19 uint16_t timer_elapsed(uint16_t last)
21 return (uint16_t)(TIME_I2MS(chVTTimeElapsedSinceX(TIME_MS2I(last))));
24 uint32_t timer_elapsed32(uint32_t last)
26 return TIME_I2MS(chVTTimeElapsedSinceX(TIME_MS2I(last)));