timer & tickless bugfix

1. fix a bug of timer_update when TOS_CFG_TIMER_AS_PROC > 0u
2. support disable tickless in runtime
3. fix a header file dependency bug, which cause k_tick_t typedef-ed to uint32_t
4. fix tick_count drift in tickless_proc
This commit is contained in:
daishengdong
2020-04-27 15:12:08 +08:00
parent ccad2a8826
commit e8c135e2bb
6 changed files with 20 additions and 22 deletions

View File

@@ -278,7 +278,7 @@ __KNL__ void timer_update(void)
{
k_timer_t *tmr, *tmp;
if (k_timer_ctl.next_expires < k_tick_count) {
if (k_timer_ctl.next_expires > k_tick_count) { // not yet
return;
}