From ab50681c33b5c4ff1d616b0db00adfe8ef8e461c Mon Sep 17 00:00:00 2001
From: Russ Butler <russ.butler@arm.com>
Date: Wed, 12 Sep 2018 14:40:25 -0500
Subject: [PATCH] Rename device option STCLK_OFF_DURING_SLEEP

Rename STCLK_OFF_DURING_SLEEP to SYSTICK_CLK_OFF_DURING_SLEEP to avoid
confusion with the STmicroelectronics.
---
 platform/mbed_power_mgmt.h | 4 ++--
 targets/targets.json       | 4 ++--
 tools/targets/lint.py      | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/platform/mbed_power_mgmt.h b/platform/mbed_power_mgmt.h
index 660e02e71d..83dd5461a8 100644
--- a/platform/mbed_power_mgmt.h
+++ b/platform/mbed_power_mgmt.h
@@ -169,9 +169,9 @@ void sleep_manager_sleep_auto(void);
 static inline void sleep(void)
 {
 #if DEVICE_SLEEP
-#if (MBED_CONF_RTOS_PRESENT == 0) || (DEVICE_STCLK_OFF_DURING_SLEEP == 0) || defined(MBED_TICKLESS)
+#if (MBED_CONF_RTOS_PRESENT == 0) || (DEVICE_SYSTICK_CLK_OFF_DURING_SLEEP == 0) || defined(MBED_TICKLESS)
     sleep_manager_sleep_auto();
-#endif /* (MBED_CONF_RTOS_PRESENT == 0) || (DEVICE_STCLK_OFF_DURING_SLEEP == 0) || defined(MBED_TICKLESS) */
+#endif /* (MBED_CONF_RTOS_PRESENT == 0) || (DEVICE_SYSTICK_CLK_OFF_DURING_SLEEP == 0) || defined(MBED_TICKLESS) */
 #endif /* DEVICE_SLEEP */
 }
 
diff --git a/targets/targets.json b/targets/targets.json
index 705a70adf9..a452988dc1 100755
--- a/targets/targets.json
+++ b/targets/targets.json
@@ -3885,7 +3885,7 @@
             "SLEEP",
             "SPI",
             "SPI_ASYNCH",
-            "STCLK_OFF_DURING_SLEEP",
+            "SYSTICK_CLK_OFF_DURING_SLEEP",
             "TRNG",
             "USTICKER"
         ],
@@ -3990,7 +3990,7 @@
             "SLEEP",
             "SPI",
             "SPI_ASYNCH",
-            "STCLK_OFF_DURING_SLEEP",
+            "SYSTICK_CLK_OFF_DURING_SLEEP",
             "TRNG",
             "USTICKER",
             "QSPI"
diff --git a/tools/targets/lint.py b/tools/targets/lint.py
index 1c09bad995..2ab915a610 100644
--- a/tools/targets/lint.py
+++ b/tools/targets/lint.py
@@ -82,7 +82,7 @@ DEVICE_HAS_ALLOWED = ["ANALOGIN", "ANALOGOUT", "CAN", "ETHERNET", "EMAC",
                       "LPTICKER", "PORTIN", "PORTINOUT", "PORTOUT",
                       "PWMOUT", "RTC", "TRNG","SERIAL", "SERIAL_ASYNCH",
                       "SERIAL_FC", "SLEEP", "SPI", "SPI_ASYNCH", "SPISLAVE",
-                      "STORAGE", "STCLK_OFF_DURING_SLEEP"]
+                      "STORAGE", "SYSTICK_CLK_OFF_DURING_SLEEP"]
 def check_device_has(dict):
     for name in dict.get("device_has", []):
         if name not in DEVICE_HAS_ALLOWED: