diff --git a/Firmware/Drivers/STM32/stm32_gpio.cpp b/Firmware/Drivers/STM32/stm32_gpio.cpp
index b77e8c4a..8726beee 100644
--- a/Firmware/Drivers/STM32/stm32_gpio.cpp
+++ b/Firmware/Drivers/STM32/stm32_gpio.cpp
@@ -16,7 +16,7 @@ const Stm32Gpio Stm32Gpio::none{nullptr, 0};
  * Note that all GPIOs with the same pin number map to the same IRQn,
  * no matter which port they belong to.
  */
-static IRQn_Type get_irq_number(uint16_t pin_number) {
+static inline IRQn_Type get_irq_number(uint16_t pin_number) {
     switch (pin_number) {
         case 0: return EXTI0_IRQn;
         case 1: return EXTI1_IRQn;