mbed library sources

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
117:e0a7df0a9a56
--- a/targets/hal/TARGET_NXP/TARGET_LPC15XX/us_ticker.c	Fri Aug 29 11:45:07 2014 +0100
+++ b/targets/hal/TARGET_NXP/TARGET_LPC15XX/us_ticker.c	Fri Aug 29 17:15:07 2014 +0100
@@ -58,7 +58,7 @@
     return (uint32_t)temp;
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp) {
+void us_ticker_set_interrupt(timestamp_t timestamp) {
 	uint64_t temp = ((uint64_t)timestamp * (SystemCoreClock/1000000));
     LPC_RIT->COMPVAL = (temp & 0xFFFFFFFFL);
     LPC_RIT->COMPVAL_H = ((temp >> 32)& 0x0000FFFFL);