mbed library sources

Fork of mbed-src by mbed official

Revision:
304:89b9c3a9a045
Parent:
20:4263a77256ae
--- a/targets/hal/TARGET_STM/TARGET_STM32F4XX/us_ticker.c	Fri Aug 29 11:45:07 2014 +0100
+++ b/targets/hal/TARGET_STM/TARGET_STM32F4XX/us_ticker.c	Fri Aug 29 17:15:07 2014 +0100
@@ -47,9 +47,9 @@
     return US_TICKER_TIMER->CNT;
 }
 
-void us_ticker_set_interrupt(unsigned int timestamp) {
+void us_ticker_set_interrupt(timestamp_t timestamp) {
     // set match value
-    US_TICKER_TIMER->CCR1 = timestamp;
+    US_TICKER_TIMER->CCR1 = (uint32_t)timestamp;
     // enable compare interrupt
     US_TICKER_TIMER->DIER |= TIM_DIER_CC1IE;
 }