mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
150:02e0a0aed4ec
Parent:
149:156823d33999
--- a/targets/TARGET_ARM_SSG/TARGET_BEETLE/lp_ticker.c	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_ARM_SSG/TARGET_BEETLE/lp_ticker.c	Tue Nov 08 17:45:16 2016 +0000
@@ -142,7 +142,8 @@
 void lp_ticker_disable_interrupt(void)
 {
     /* Disable Interrupt */
-    DualTimer_DisableInterrupt(DUALTIMER0);
+    DualTimer_DisableInterrupt(DUALTIMER0,
+                               SINGLETIMER1);
 }
 
 /**