mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

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

Diff: drivers/Timer.h

Revision:
175:af195413fb11
Parent:
174:b96e65c34a4d
Child:
184:08ed48f1de7f
--- a/drivers/Timer.h	Mon Oct 02 15:33:19 2017 +0100
+++ b/drivers/Timer.h	Wed Oct 11 12:45:49 2017 +0100
@@ -53,6 +53,7 @@
 public:
     Timer();
     Timer(const ticker_data_t *data);
+    ~Timer();
 
     /** Start the timer
      */
@@ -100,6 +101,7 @@
     us_timestamp_t _start;   // the start time of the latest slice
     us_timestamp_t _time;    // any accumulated time from previous slices
     const ticker_data_t *_ticker_data;
+    bool _lock_deepsleep;    // flag which indicates if deep-sleep should be disabled
 };
 
 } // namespace mbed