1 files changed, 10 insertions, 0 deletions
diff --git a/arch/x86/machine/cpu.c b/arch/x86/machine/cpu.c
index 2a500cb1..f07e6d1a 100644
--- a/arch/x86/machine/cpu.c
+++ b/arch/x86/machine/cpu.c
@@ -599,6 +599,16 @@ cpu_halt_intr(struct trap_frame *frame)
 }
 
 void
+cpu_thread_schedule_intr(struct trap_frame *frame)
+{
+    (void)frame;
+
+    lapic_eoi();
+
+    /* Let the return from interrupt code invoke the scheduler */
+}
+
+void
 cpu_llsync_reset_intr(struct trap_frame *frame)
 {
     (void)frame;