Toyomasa Watarai / mbed-src

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
97:a69e21de83fb
Child:
363:12a245e5c745
--- a/targets/hal/TARGET_Freescale/TARGET_KLXX/us_ticker.c	Fri Aug 29 11:45:07 2014 +0100
+++ b/targets/hal/TARGET_Freescale/TARGET_KLXX/us_ticker.c	Fri Aug 29 17:15:07 2014 +0100
@@ -167,8 +167,8 @@
     }
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp) {
-    int delta = (int)(timestamp - us_ticker_read());
+void us_ticker_set_interrupt(timestamp_t timestamp) {
+    int delta = (int)((uint32_t)timestamp - us_ticker_read());
     if (delta <= 0) {
         // This event was in the past:
         us_ticker_irq_handler();