mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

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

Diff: platform/mbed_wait_api_no_rtos.c

Revision:
187:0387e8f68319
Parent:
175:af195413fb11
Child:
189:f392fc9709a3
--- a/platform/mbed_wait_api_no_rtos.c	Fri Jun 22 16:45:37 2018 +0100
+++ b/platform/mbed_wait_api_no_rtos.c	Thu Sep 06 13:40:20 2018 +0100
@@ -21,15 +21,18 @@
 #include "platform/mbed_wait_api.h"
 #include "hal/us_ticker_api.h"
 
-void wait(float s) {
+void wait(float s)
+{
     wait_us(s * 1000000.0f);
 }
 
-void wait_ms(int ms) {
+void wait_ms(int ms)
+{
     wait_us(ms * 1000);
 }
 
-void wait_us(int us) {
+void wait_us(int us)
+{
     const ticker_data_t *const ticker = get_us_ticker_data();
     uint32_t start = ticker_read(ticker);
     while ((ticker_read(ticker) - start) < (uint32_t)us);