From cc157baf23b3757b1741ca06da4bad45b5ff8ddc Mon Sep 17 00:00:00 2001
From: Shell <smokewood@qq.com>
Date: Tue, 9 Jan 2024 23:09:49 +0800
Subject: [kernel] fixup of data racing accessing percpu objects (#8475)

Signed-off-by: Shell <smokewood@qq.com>
---
 src/timer.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/timer.c')

diff --git a/src/timer.c b/src/timer.c
index 2f1ad9c718..3520b5cde5 100644
--- a/src/timer.c
+++ b/src/timer.c
@@ -658,6 +658,8 @@ void rt_timer_check(void)
     rt_base_t level;
     rt_list_t list;
 
+    RT_ASSERT(rt_interrupt_get_nest() > 0);
+
 #ifdef RT_USING_SMP
     if (rt_hw_cpu_id() != 0)
     {
-- 
cgit v1.3.1