Changes in kernel/arch/ia32/src/interrupt.c [bab75df6:d19b3fc] in mainline

File:

• kernel/arch/ia32/src/interrupt.c (modified) (3 diffs)

kernel/arch/ia32/src/interrupt.c

@@ -55 +55 @@
 #include <symtab.h>
 #include <stacktrace.h>
-#include <smp/smp_call.h>
 #include <proc/task.h>
 
@@ -183 +182 @@
         tlb_shootdown_ipi_recv();
 }
-
-static void arch_smp_call_ipi_recv(unsigned int n, istate_t *istate)
-{
-        trap_virtual_eoi();
-        smp_call_ipi_recv();
-}
 #endif
 
@@ -250 +243 @@
         exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", true,
             (iroutine_t) tlb_shootdown_ipi);
-        exc_register(VECTOR_SMP_CALL_IPI, "smp_call", true,
-            (iroutine_t) arch_smp_call_ipi_recv);
 #endif
 }