Correct core RTOS sleep routine timing
Chrono conversions inadvertantly changed the core timed sleep routine
used by the RTOS idle to use `OsTimer::update_and_get_tick()` instead of
`OsTimer::get_tick()`.

Correct this, and expand/clarify documentation and naming to try to
prevent recurrence.

Another minor fix observed while inspecting code - `OsClock` can't just
use `milliseconds`, it should match the period of `OsTimer`, which
theoretically can be different.
ls
1 parent 029109a commit 3f67eed31cf7e816528dc82fd0f780409fdb80ef
@Kevin Bracey Kevin Bracey authored on 7 May 2020
Showing 3 changed files
View
platform/source/mbed_os_timer.cpp
View
platform/source/mbed_os_timer.h
View
rtos/source/TARGET_CORTEX/mbed_rtx_idle.cpp