mbed library sources

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
13:0645d8841f51
--- a/hal/us_ticker_api.h	Fri Aug 29 11:45:07 2014 +0100
+++ b/hal/us_ticker_api.h	Fri Aug 29 17:15:07 2014 +0100
@@ -22,24 +22,26 @@
 extern "C" {
 #endif
 
+typedef uint64_t timestamp_t;
+
 uint32_t us_ticker_read(void);
 
 typedef void (*ticker_event_handler)(uint32_t id);
 void us_ticker_set_handler(ticker_event_handler handler);
 
 typedef struct ticker_event_s {
-    uint32_t timestamp;
-    uint32_t id;
+    timestamp_t            timestamp;
+    uint32_t               id;
     struct ticker_event_s *next;
 } ticker_event_t;
 
 void us_ticker_init(void);
-void us_ticker_set_interrupt(unsigned int timestamp);
+void us_ticker_set_interrupt(timestamp_t 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_insert_event(ticker_event_t *obj, timestamp_t timestamp, uint32_t id);
 void us_ticker_remove_event(ticker_event_t *obj);
 
 #ifdef __cplusplus