mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by Umar Naeem

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
--- a/targets/TARGET_NXP/TARGET_LPC13XX/sleep.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_NXP/TARGET_LPC13XX/sleep.c	Tue Mar 14 16:40:56 2017 +0000
@@ -17,7 +17,7 @@
 #include "cmsis.h"
 #include "mbed_interface.h"
 
-void sleep(void) {
+void hal_sleep(void) {
     // PCON[PD] set to sleep
     LPC_PMU->PCON = 0x0;
     
@@ -28,7 +28,7 @@
     __WFI();
 }
 
-void deepsleep(void) {
+void hal_deepsleep(void) {
     // PCON[PD] set to deepsleep
     LPC_PMU->PCON = 0x1;