|
@@ -28,6 +28,10 @@ uint32_t timer_read32(void) {
|
|
|
return current_time_ms;
|
|
|
}
|
|
|
|
|
|
-uint16_t timer_elapsed(uint16_t last) { return timer_read() - last; }
|
|
|
+uint16_t timer_elapsed(uint16_t last) {
|
|
|
+ return TIMER_DIFF_16(timer_read(), last);
|
|
|
+}
|
|
|
|
|
|
-uint32_t timer_elapsed32(uint32_t last) { return timer_read32() - last; }
|
|
|
+uint32_t timer_elapsed32(uint32_t last) {
|
|
|
+ return TIMER_DIFF_32(timer_read32(), last);
|
|
|
+}
|