mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
150:02e0a0aed4ec
--- a/targets/TARGET_Silicon_Labs/TARGET_EFM32/sleep.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_Silicon_Labs/TARGET_EFM32/sleep.c	Tue Mar 14 16:40:56 2017 +0000
@@ -27,7 +27,7 @@
 #include "sleep_api.h"
 #include "sleepmodes.h"
 #include "em_emu.h"
-#include "critical.h"
+#include "mbed_critical.h"
 
 uint32_t sleep_block_counter[NUM_SLEEP_MODES] = {0};
 
@@ -35,7 +35,7 @@
  * Sleep mode.
  * Enter the lowest possible sleep mode that is not blocked by ongoing activity.
  */
-void sleep(void)
+void hal_sleep(void)
 {
     if (sleep_block_counter[0] > 0) {
         /* Blocked everything below EM0, so just return */
@@ -64,7 +64,7 @@
  * consumption as low as 1.1 μA with RTC enabled. Power-on Reset, Brown-out
  * Detection and full RAM and CPU retention is also included.
  */
-void deepsleep(void)
+void hal_deepsleep(void)
 {
     EMU_EnterEM2(true);
 }