mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
159:612c381a210f
--- a/targets/TARGET_NUVOTON/TARGET_NUC472/us_ticker.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_NUVOTON/TARGET_NUC472/us_ticker.c	Tue Mar 14 16:40:56 2017 +0000
@@ -19,7 +19,7 @@
 #include "mbed_assert.h"
 #include "nu_modutil.h"
 #include "nu_miscutil.h"
-#include "critical.h"
+#include "mbed_critical.h"
 
 // us_ticker tick = us = timestamp
 #define US_PER_TICK             1