From 543660ffc444af2ac9f278703d883cd8955d630c Mon Sep 17 00:00:00 2001
From: Martin Kojtal <0xc0170@gmail.com>
Date: Tue, 15 Aug 2017 14:38:06 +0100
Subject: [PATCH] Sleep: add deepsleep locks for !DEVICE_SLEEP

If a target do not support sleep (no DEVICE_SLEEP defined),
we provide empty deep sleep locking.
---
 hal/mbed_sleep_manager.c | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/hal/mbed_sleep_manager.c b/hal/mbed_sleep_manager.c
index 335cb09cdb7..862265b8a83 100644
--- a/hal/mbed_sleep_manager.c
+++ b/hal/mbed_sleep_manager.c
@@ -78,4 +78,25 @@ void sleep_manager_sleep_auto(void)
     core_util_critical_section_exit();
 }
 
+#else
+
+// locking is valid only if DEVICE_SLEEP is defined
+// we provide empty implementation
+
+void sleep_manager_lock_deep_sleep(void)
+{
+
+}
+
+void sleep_manager_unlock_deep_sleep(void)
+{
+
+}
+
+bool sleep_manager_can_deep_sleep(void)
+{
+    // no sleep implemented
+    return false;
+}
+
 #endif