diff --git a/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/mbed_overrides.c b/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/mbed_overrides.c
index c39707e7f0..f1c4754c21 100644
--- a/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/mbed_overrides.c
+++ b/targets/TARGET_Silicon_Labs/TARGET_EFM32/common/mbed_overrides.c
@@ -29,6 +29,7 @@
 #include "device.h"
 #include "em_usart.h"
 #include "gpio_api.h"
+#include "clocking.h"
 
 gpio_t bc_enable;