mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
167:e84263d55307
Child:
176:447f873cad2f
--- a/hal/ticker_api.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/hal/ticker_api.h	Mon Oct 02 15:33:19 2017 +0100
@@ -60,6 +60,7 @@
     void (*disable_interrupt)(void);              /**< Disable interrupt function */
     void (*clear_interrupt)(void);                /**< Clear interrupt function */
     void (*set_interrupt)(timestamp_t timestamp); /**< Set interrupt function */
+    void (*fire_interrupt)(void);                 /**< Fire interrupt right-away */
 } ticker_interface_t;
 
 /** Ticker's event queue structure