diff --git a/src/drivers/stm32/drv_input_capture.c b/src/drivers/stm32/drv_input_capture.c
index 784b6cb724..0c3dda0343 100644
--- a/src/drivers/stm32/drv_input_capture.c
+++ b/src/drivers/stm32/drv_input_capture.c
@@ -99,7 +99,7 @@ static struct channel_handler_entry {
 
 static void input_capture_chan_handler(void *context, const io_timers_t *timer, uint32_t chan_index,
 				       const timer_io_channels_t *chan,
-				       hrt_abstime isrs_time , uint16_t isrs_rcnt)
+				       hrt_abstime isrs_time, uint16_t isrs_rcnt)
 {
 	uint16_t capture = _REG32(timer, chan->ccr_offset);
 	channel_stats[chan_index].last_edge = px4_arch_gpioread(chan->gpio_in);
diff --git a/src/drivers/stm32/drv_io_timer.c b/src/drivers/stm32/drv_io_timer.c
index 1f3235f17c..46e5cace3e 100644
--- a/src/drivers/stm32/drv_io_timer.c
+++ b/src/drivers/stm32/drv_io_timer.c
@@ -106,7 +106,7 @@
 #define CCMR_C1_PWMIN_INIT 0 // TBD
 
 //												 				  NotUsed   PWMOut  PWMIn Capture
-io_timer_channel_allocation_t channel_allocations[IOTimerChanModeSize] = { UINT8_MAX,   0  ,  0   ,  0 };
+io_timer_channel_allocation_t channel_allocations[IOTimerChanModeSize] = { UINT8_MAX,   0,  0,  0 };
 
 typedef uint8_t io_timer_allocation_t; /* big enough to hold MAX_IO_TIMERS */
 
@@ -162,7 +162,7 @@ static int io_timer_handler(uint16_t timer_index)
 				if (channel_handlers[chan_index].callback) {
 					channel_handlers[chan_index].callback(channel_handlers[chan_index].context, tmr,
 									      chan_index, &timer_io_channels[chan_index],
-									      now , count);
+									      now, count);
 				}
 			}
 
diff --git a/src/drivers/stm32/drv_io_timer.h b/src/drivers/stm32/drv_io_timer.h
index f933bdf3b0..b1a1980325 100644
--- a/src/drivers/stm32/drv_io_timer.h
+++ b/src/drivers/stm32/drv_io_timer.h
@@ -88,7 +88,7 @@ typedef struct timer_io_channels_t {
 
 typedef void (*channel_handler_t)(void *context, const io_timers_t *timer, uint32_t chan_index,
 				  const timer_io_channels_t *chan,
-				  hrt_abstime isrs_time , uint16_t isrs_rcnt);
+				  hrt_abstime isrs_time, uint16_t isrs_rcnt);
 
 
 /* supplied by board-specific code */