From f5ff9d038832b92b0f3188d2227cd4cd794b92f1 Mon Sep 17 00:00:00 2001 From: David Hoelscher Date: Fri, 25 Oct 2024 18:44:11 -0500 Subject: [PATCH] lint fix --- platforms/chibios/timer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platforms/chibios/timer.c b/platforms/chibios/timer.c index fdfc6e38ede..1a9bdb5385b 100644 --- a/platforms/chibios/timer.c +++ b/platforms/chibios/timer.c @@ -78,7 +78,7 @@ uint16_t timer_read(void) { } uint32_t timer_read32(void) { - syssts_t sts = chSysGetStatusAndLockX(); + syssts_t sts = chSysGetStatusAndLockX(); uint32_t ticks = get_system_time_ticks() - ticks_offset; if (ticks < last_ticks) { // The 32-bit tick counter overflowed and wrapped around. We cannot just extend the counter to 64 bits here,