mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
149:156823d33999
--- a/targets/TARGET_Maxim/TARGET_MAX32620/us_ticker.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_Maxim/TARGET_MAX32620/us_ticker.c	Mon Oct 02 15:33:19 2017 +0100
@@ -265,6 +265,11 @@
     US_TIMER->ctrl |= MXC_F_TMR_CTRL_ENABLE0;   // enable timer
 }
 
+void us_ticker_fire_interrupt(void)
+{
+    NVIC_SetPendingIRQ(US_TIMER_IRQn);
+}
+
 //******************************************************************************
 void us_ticker_disable_interrupt(void)
 {