mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
186:707f6e361f3e
Parent:
175:af195413fb11
--- a/drivers/Timer.cpp	Thu Apr 19 17:12:19 2018 +0100
+++ b/drivers/Timer.cpp	Fri Jun 22 16:45:37 2018 +0100
@@ -27,7 +27,7 @@
 
 Timer::Timer(const ticker_data_t *data) : _running(), _start(), _time(), _ticker_data(data), _lock_deepsleep(true) {
     reset();
-#if DEVICE_LOWPOWERTIMER
+#if DEVICE_LPTICKER
     _lock_deepsleep = (data != get_lp_ticker_data());
 #endif
 }