PPC: Sleep mode and wakeup pin now working

[arc.git] / arch / arm / arm_cm3 / drivers / Mcu.c

diff --git a/arch/arm/arm_cm3/drivers/Mcu.c b/arch/arm/arm_cm3/drivers/Mcu.c
index 6d394786c0b1ca447498bbf2e8594b60410be247..17b391f99101b46508517f8a1117c8b98e536359 100644 (file)
--- a/arch/arm/arm_cm3/drivers/Mcu.c
+++ b/arch/arm/arm_cm3/drivers/Mcu.c
@@ -169,7 +169,7 @@ static uint32 Mcu_CheckCpu( void ) {
 \r
   if( (coreType == NULL) ) {\r
     // Just hang\r
-    while(1);\r
+    while(1) ;\r
   }\r
 \r
   return 0;\r
@@ -497,7 +497,6 @@ void Mcu_SetMode(const Mcu_ModeType McuMode)
   //VALIDATE( ( McuMode <= Mcu_Global.config->McuNumberOfMcuModes ), MCU_SETMODE_SERVICE_ID, MCU_E_PARAM_MODE );\r
   (void) McuMode;\r
 \r
-  /* NOT SUPPORTED */\r
 }\r
 \r
 //-------------------------------------------------------------------\r
@@ -527,18 +526,6 @@ uint32_t McuE_GetSystemClock(void)
   return f_sys;\r
 }\r
 \r
-imask_t McuE_EnterCriticalSection()\r
-{\r
-       uint32_t val;\r
-       Irq_Save(val);\r
-       return val;\r
-}\r
-\r
-void McuE_ExitCriticalSection(uint32_t old_state)\r
-{\r
-       Irq_Restore(old_state);\r
-}\r
-\r
 /**\r
  * Get the peripheral clock in Hz for a specific device\r
  */\r
@@ -573,13 +560,3 @@ void Mcu_ConfigureFlash(void)
 {\r
 \r
 }\r
-\r
-void McuE_EnableInterrupts(void)\r
-{\r
-  Irq_Enable();\r
-}\r
-\r
-void McuE_DisableInterrupts(void)\r
-{\r
-  Irq_Disable();\r
-}\r