michaelh/zephyr
1
0
Fork 0
Code Releases Activity

drivers: timer: esp32c3: fix dtick counter increment

Browse source 
System uptime is not getting incremented when TICKLESS_KERNEL is enabled.

This fixes it by changing the clock_annouce and updating
last_count increment accordingly.

Signed-off-by: Sylvio Alves <sylvio.alves@espressif.com>
This commit is contained in:
Sylvio Alves 2023-03-09 09:16:42 -03:00 • committed by Carles Cufí
commit 4701581776
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
drivers/timer/esp32c3_sys_timer.c
View file

@ -65,9 +65,9 @@ static void sys_timer_isr(const void *arg)
k_spinlock_key_t key = k_spin_lock(&lock);
uint64_t now = get_systimer_alarm();
uint32_t dticks = (uint32_t)((now - last_count) / CYC_PER_TICK);
uint64_t dticks = (uint64_t)((now - last_count) / CYC_PER_TICK);
last_count = now;
last_count += dticks * CYC_PER_TICK;
if (!TICKLESS) {
uint64_t next = last_count + CYC_PER_TICK;
@ -79,7 +79,7 @@ static void sys_timer_isr(const void *arg)
}
k_spin_unlock(&lock, key);
sys_clock_announce(IS_ENABLED(CONFIG_TICKLESS_KERNEL) ? dticks : 1);
sys_clock_announce(dticks);
}
void sys_clock_set_timeout(int32_t ticks, bool idle)