Public fork of mbed-src to add generic stm32f030k6 target

Fork of mbed-src by mbed official

Revision:
4:c4bfb462ca53
Parent:
2:143cac498751
--- a/capi/us_ticker_api.h	Sat Feb 23 15:48:17 2013 +0000
+++ b/capi/us_ticker_api.h	Wed Mar 13 15:04:05 2013 +0000
@@ -33,6 +33,12 @@
     struct ticker_event_s *next;
 } ticker_event_t;
 
+void us_ticker_init(void);
+void us_ticker_set_interrupt(unsigned int timestamp);
+void us_ticker_disable_interrupt(void);
+void us_ticker_clear_interrupt(void);
+void us_ticker_irq_handler(void);
+
 void us_ticker_insert_event(ticker_event_t *obj, unsigned int timestamp, uint32_t id);
 void us_ticker_remove_event(ticker_event_t *obj);