diff --git a/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c b/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c
index 0b86dc90bb..5ecbaa30ba 100644
--- a/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c
+++ b/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c
@@ -28,7 +28,7 @@
  *  TIMER1 is for counting, and returns inverted binary when read from it
  *  TIMER2 is for generate interrupts
  */
-int us_ticker_inited = 0;
+static int us_ticker_inited = 0;
 
 void us_ticker_init(void)
 {