diff options
| author | Shell <[email protected]> | 2024-01-09 23:09:49 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-01-09 23:09:49 +0800 |
| commit | cc157baf23b3757b1741ca06da4bad45b5ff8ddc (patch) | |
| tree | 70f9e8e36b4d9eb988978eb0fb8ff1113add269a /src/timer.c | |
| parent | acaa23052f2d24de5cc5c389014ed8a8513e7311 (diff) | |
[kernel] fixup of data racing accessing percpu objects (#8475)
Signed-off-by: Shell <[email protected]>
Diffstat (limited to 'src/timer.c')
| -rw-r--r-- | src/timer.c | 2 |
1 files changed, 2 insertions, 0 deletions
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) { |