mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
149:156823d33999
Child:
180:96ed750bd169
--- a/hal/us_ticker_api.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/hal/us_ticker_api.h	Mon Oct 02 15:33:19 2017 +0100
@@ -72,6 +72,12 @@
  */
 void us_ticker_clear_interrupt(void);
 
+/** Set pending interrupt that should be fired right away.
+ * 
+ * The ticker should be initialized prior calling this function.
+ */
+void us_ticker_fire_interrupt(void);
+
 /**@}*/
 
 #ifdef __cplusplus