Changes in kernel/arch/amd64/src/interrupt.c [4b0206c:b2fa1204] in mainline

File:

• kernel/arch/amd64/src/interrupt.c (modified) (4 diffs)

kernel/arch/amd64/src/interrupt.c

@@ -45 +45 @@
 #include <mm/as.h>
 #include <arch.h>
+#include <arch/asm.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>
@@ -54 +55 @@
 #include <symtab.h>
 #include <stacktrace.h>
-#include <smp/smp_call.h>
 
 /*
@@ -161 +161 @@
         trap_virtual_eoi();
         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
@@ -222 +216 @@
         }
         
-        exc_register(VECTOR_DE, "de_fault", true, (iroutine_t) de_fault);
-        exc_register(VECTOR_NM, "nm_fault", true, (iroutine_t) nm_fault);
-        exc_register(VECTOR_SS, "ss_fault", true, (iroutine_t) ss_fault);
-        exc_register(VECTOR_GP, "gp_fault", true, (iroutine_t) gp_fault);
+        exc_register(0, "de_fault", true, (iroutine_t) de_fault);
+        exc_register(7, "nm_fault", true, (iroutine_t) nm_fault);
+        exc_register(12, "ss_fault", true, (iroutine_t) ss_fault);
+        exc_register(13, "gp_fault", true, (iroutine_t) gp_fault);
         
 #ifdef CONFIG_SMP
         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
 }