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

Dependents:   IGLOO_board

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
174:b96e65c34a4d
--- a/targets/TARGET_NXP/TARGET_LPC15XX/us_ticker.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_NXP/TARGET_LPC15XX/us_ticker.c	Tue Mar 14 16:40:56 2017 +0000
@@ -16,7 +16,7 @@
 #include <stddef.h>
 #include "us_ticker_api.h"
 #include "PeripheralNames.h"
-#include "critical.h"
+#include "mbed_critical.h"
 
 #define US_TICKER_TIMER_IRQn     SCT3_IRQn