x86/cpu: reset lockless synchronization checkpoints

1 files changed, 2 insertions, 1 deletions

diff --git a/arch/x86/machine/cpu.c b/arch/x86/machine/cpu.c
index 8dfb2714..2a500cb1 100644
--- a/arch/x86/machine/cpu.c
+++ b/arch/x86/machine/cpu.c
@@ -17,6 +17,7 @@
 
 #include <kern/assert.h>
 #include <kern/init.h>
+#include <kern/llsync.h>
 #include <kern/macros.h>
 #include <kern/panic.h>
 #include <kern/param.h>
@@ -604,5 +605,5 @@ cpu_llsync_reset_intr(struct trap_frame *frame)
 
     lapic_eoi();
 
-    /* Not implemented yet */
+    llsync_reset_checkpoint(cpu_id());
 }