use rtc1_getCounter64() as it should have been from the beginning.

pull/932/head
Rohit Grover 2015-03-16 14:05:05 +00:00
parent f32efaee90
commit 35eb4b5250
1 changed files with 1 additions and 1 deletions

View File

@ -233,7 +233,7 @@ void us_ticker_set_interrupt(timestamp_t timestamp)
* additional 32 bits. RTC_UNITS_TO_MICROSECONDS() converts this into
* microsecond units (in 64-bits).
*/
const uint64_t currentTime64 = RTC_UNITS_TO_MICROSECONDS(rtc1_getCounter());
const uint64_t currentTime64 = RTC_UNITS_TO_MICROSECONDS(rtc1_getCounter64());
const uint64_t timestamp64 = currentTime64 + (timestamp - (timestamp_t)currentTime64);
uint32_t newCallbackTime = MICROSECONDS_TO_RTC_UNITS(timestamp64);