diff options
Diffstat (limited to 'kern/clock.c')
| -rw-r--r-- | kern/clock.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kern/clock.c b/kern/clock.c index b4a6f046..19f823c3 100644 --- a/kern/clock.c +++ b/kern/clock.c @@ -68,8 +68,7 @@ void clock_tick_intr(void) { struct clock_cpu_data *cpu_data; - assert(!cpu_intr_enabled()); - assert(!thread_preempt_enabled()); + assert(thread_check_intr_context()); if (cpu_id() == 0) { #ifdef ATOMIC_HAVE_64B_OPS |