Public fork of mbed-src to add generic stm32f030k6 target

Fork of mbed-src by mbed official

Revision:
481:ca51ab3eed5a
Parent:
453:a290c6acf95e
Child:
484:b5ae48b573d3
--- a/hal/us_ticker_api.h	Tue Feb 24 13:45:08 2015 +0000
+++ b/hal/us_ticker_api.h	Thu Feb 26 09:30:08 2015 +0000
@@ -43,6 +43,7 @@
 
 void us_ticker_insert_event(ticker_event_t *obj, timestamp_t timestamp, uint32_t id);
 void us_ticker_remove_event(ticker_event_t *obj);
+timestamp_t us_ticker_get_next_timestamp(void);
 
 #ifdef __cplusplus
 }