Merge pull request #8210 from JarkkoPaso/master

platform timer: Call timer start in enable
pull/8192/merge
Martin Kojtal 2018-10-09 10:34:57 -05:00 committed by GitHub
commit 9c28794b2e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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(); equeue = mbed_highprio_event_queue();
MBED_ASSERT(equeue != NULL); MBED_ASSERT(equeue != NULL);
#endif #endif
// Prime the SingletonPtrs - can't construct from IRQ/critical section timer->start();
timer.get(); // Prime the SingletonPtr - can't construct from IRQ/critical section
timeout.get(); timeout.get();
} }