kern/llsync: assume interrupts are disabled on commit

1 files changed, 3 insertions, 3 deletions

diff --git a/kern/llsync.c b/kern/llsync.c
index 0fd973d0..5b4966b0 100644
--- a/kern/llsync.c
+++ b/kern/llsync.c
@@ -258,14 +258,14 @@ llsync_unregister_cpu(unsigned int cpu)
 void
 llsync_commit_checkpoint(unsigned int cpu)
 {
-    unsigned long flags;
+    assert(!cpu_intr_enabled());
 
     if (!(llsync_cpus[cpu].registered && llsync_cpus[cpu].checked))
         return;
 
-    spinlock_lock_intr_save(&llsync_lock, &flags);
+    spinlock_lock(&llsync_lock);
     llsync_commit_checkpoint_common(cpu);
-    spinlock_unlock_intr_restore(&llsync_lock, flags);
+    spinlock_unlock(&llsync_lock);
 }
 
 void