mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by Umar Naeem

Revision:
160:d5399cc887bb
Parent:
150:02e0a0aed4ec
--- a/targets/TARGET_ublox/TARGET_HI2110/us_ticker.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_ublox/TARGET_HI2110/us_ticker.c	Tue Mar 14 16:40:56 2017 +0000
@@ -25,7 +25,7 @@
  */
 
 #include "us_ticker_api.h"
-#include "critical.h"
+#include "mbed_critical.h"
 
 /* ----------------------------------------------------------------
  * MACROS