mbed library sources

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
46:bebbbd80dd87
--- a/targets/hal/TARGET_NXP/TARGET_LPC81X/us_ticker.c	Fri Aug 29 11:45:07 2014 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC81X/us_ticker.c	Fri Aug 29 17:15:07 2014 +0100
@@ -55,13 +55,13 @@
     return LPC_SCT->COUNT_U;
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp) {
+void us_ticker_set_interrupt(timestamp_t timestamp) {
     // halt the counter: 
     //    - setting bit 2 of the CTRL register
     LPC_SCT->CTRL_L |= (1 << 2);
     
     // set timestamp in compare register
-    LPC_SCT->MATCH[0].U = timestamp;
+    LPC_SCT->MATCH[0].U = (uint32_t)timestamp;
     
     // unhalt the counter:
     //    - clearing bit 2 of the CTRL register