update

[l4.git] / kernel / fiasco / src / kern / ia32 / main-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/main-ia32.cpp b/kernel/fiasco/src/kern/ia32/main-ia32.cpp
index bf7479f6b27512f13f27c9ec50a03ae2d592b2b8..31c8dc4226b0bd45e3e530471908e6e78a8a79b8 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/main-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/main-ia32.cpp
@@ -93,6 +93,7 @@ IMPLEMENTATION[(ia32,amd64) && mp]:
 #include "div32.h"
 #include "fpu.h"
 #include "globals.h"
+#include "ipi.h"
 #include "kernel_task.h"
 #include "processor.h"
 #include "per_cpu_data_alloc.h"
@@ -120,6 +121,7 @@ int boot_ap_cpu(unsigned _cpu)
   Utcb_init::init_ap(cpu);
 
   Apic::init_ap();
+  Ipi::cpu(_cpu).init();
   Timer::init();
   Apic::check_still_getting_interrupts();