diff --git a/targets/TARGET_STM/gpio_irq_api.c b/targets/TARGET_STM/gpio_irq_api.c
index 4cb7bfba71..5fb1ed8957 100644
--- a/targets/TARGET_STM/gpio_irq_api.c
+++ b/targets/TARGET_STM/gpio_irq_api.c
@@ -125,7 +125,7 @@ static void handle_interrupt_in(uint32_t irq_index, uint32_t max_num_pin_line)
             }
         }
     }
-    error("Unexpected Spurious interrupt, index %d\r\n", irq_index);
+    error("Unexpected Spurious interrupt, index %ld\r\n", irq_index);
 }
 
 
diff --git a/targets/TARGET_STM/mbed_overrides.c b/targets/TARGET_STM/mbed_overrides.c
index 71c61a28c2..8092cfe5c3 100644
--- a/targets/TARGET_STM/mbed_overrides.c
+++ b/targets/TARGET_STM/mbed_overrides.c
@@ -28,6 +28,7 @@
 #include "cmsis.h"
 
 int mbed_sdk_inited = 0;
+extern void SetSysClock(void);
 
 // This function is called after RAM initialization and before main.
 void mbed_sdk_init()