platform timer: Call timer start in enable

This timer was never started and therefore read_us returned always 0 causing bad timings.
pull/8210/head
Jarkko Paso 2018-09-21 09:47:09 +03:00
parent 8f7c0ae18d
commit a3ec9f3982
1 changed files with 2 additions and 2 deletions

View File

@ -45,8 +45,8 @@ void platform_timer_enable(void)
equeue = mbed_highprio_event_queue();
MBED_ASSERT(equeue != NULL);
#endif
// Prime the SingletonPtrs - can't construct from IRQ/critical section
timer.get();
timer->start();
// Prime the SingletonPtr - can't construct from IRQ/critical section
timeout.get();
}