mbed library sources

Fork of mbed-src by mbed official

Revision:
452:a2b30f7d1bc5
Parent:
304:89b9c3a9a045
Child:
453:a290c6acf95e
--- a/hal/us_ticker_api.h	Mon Jan 26 07:00:07 2015 +0000
+++ b/hal/us_ticker_api.h	Mon Jan 26 14:15:07 2015 +0000
@@ -22,7 +22,8 @@
 extern "C" {
 #endif
 
-typedef uint64_t timestamp_t;
+typedef uint32_t timestamp_t;
+typedef int32_t  signedTimestamp_t; /* The signed version of the above declaration. */
 
 uint32_t us_ticker_read(void);