mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Revision:
189:f392fc9709a3
Parent:
187:0387e8f68319
--- a/targets/TARGET_STM/hal_tick_overrides.c	Thu Nov 08 11:46:34 2018 +0000
+++ b/targets/TARGET_STM/hal_tick_overrides.c	Wed Feb 20 22:31:08 2019 +0000
@@ -51,8 +51,7 @@
         new_time = ticker_read_us(get_us_ticker_data()) + prev_time;
         prev_time = 0; // Use this time only once
         return (new_time / 1000);
-    }
-    else {
+    } else {
         new_time = us_ticker_read();
         elapsed_time += (new_time - prev_time) & 0xFFFF; // Only use the lower 16 bits
         prev_time = new_time;
@@ -61,8 +60,7 @@
 #else // 32-bit timer
     if (mbed_sdk_inited) {
         return (ticker_read_us(get_us_ticker_data()) / 1000);
-    }
-    else {
+    } else {
         return (us_ticker_read() / 1000);
     }
 #endif