mbed library sources. Supersedes mbed-src. Edited target satm32f446 for user USART3 pins

Dependents:   IGLOO_board

Fork of mbed-dev by mbed official

Revision:
182:a56a73fd2a6f
Parent:
174:b96e65c34a4d
--- a/targets/TARGET_Maxim/TARGET_MAX32610/us_ticker.c	Fri Feb 16 16:09:33 2018 +0000
+++ b/targets/TARGET_Maxim/TARGET_MAX32610/us_ticker.c	Tue Mar 20 16:56:18 2018 +0000
@@ -236,7 +236,9 @@
 
 void us_ticker_fire_interrupt(void)
 {
-    NVIC_SetPendingIRQ(US_TIMER_IRQn);
+    US_TIMER->ctrl &= ~MXC_F_TMR_CTRL_ENABLE0;  // disable timer
+    US_TIMER->term_cnt32 = 1;
+    US_TIMER->ctrl |= MXC_F_TMR_CTRL_ENABLE0;   // enable timer
 }
 
 //******************************************************************************