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

Dependents:   IGLOO_board

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
149:156823d33999
diff -r e131a1973e81 -r b96e65c34a4d targets/TARGET_NXP/TARGET_LPC82X/us_ticker.c
--- a/targets/TARGET_NXP/TARGET_LPC82X/us_ticker.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_NXP/TARGET_LPC82X/us_ticker.c	Mon Oct 02 15:33:19 2017 +0100
@@ -86,6 +86,11 @@
     LPC_MRT->CTRL1 |= 1;
 }
 
+void us_ticker_fire_interrupt(void)
+{
+    NVIC_SetPendingIRQ(US_TICKER_TIMER_IRQn);
+}
+
 //Disable Timestamped interrupts triggered by TIMER1
 void us_ticker_disable_interrupt() {
     //Timer1 for Timestamped interrupts (31 bits downcounter @ SystemCoreClock)