From e23bde94ac21bcd197744851b0b37e20ae770062 Mon Sep 17 00:00:00 2001
From: Qinghao Shi <Qinghao.Shi@arm.com>
Date: Tue, 12 Jun 2018 11:31:16 +0100
Subject: [PATCH] change us_ticker_inited to static

---
 targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
 {