mbed library sources

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
13:0645d8841f51
--- a/targets/hal/TARGET_NXP/TARGET_LPC176X/us_ticker.c	Fri Aug 29 11:45:07 2014 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC176X/us_ticker.c	Fri Aug 29 17:15:07 2014 +0100
@@ -48,9 +48,9 @@
     return US_TICKER_TIMER->TC;
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp) {
+void us_ticker_set_interrupt(timestamp_t timestamp) {
     // set match value
-    US_TICKER_TIMER->MR0 = timestamp;
+    US_TICKER_TIMER->MR0 = (uint32_t)timestamp;
     // enable match interrupt
     US_TICKER_TIMER->MCR |= 1;
 }