update

[l4.git] / kernel / fiasco / src / kern / ipi.cpp

diff --git a/kernel/fiasco/src/kern/ipi.cpp b/kernel/fiasco/src/kern/ipi.cpp
index f13ea86542ee4561169699d1de4558d9d6f4c0fb..b770d513dd5fd62f615c72dcec7f9722c3ed7318 100644 (file)
--- a/kernel/fiasco/src/kern/ipi.cpp
+++ b/kernel/fiasco/src/kern/ipi.cpp
@@ -16,6 +16,7 @@ public:
 
 INTERFACE[mp]:
 
+#include "per_cpu_data.h"
 #include "spin_lock.h"
 
 EXTENSION class Ipi
@@ -27,8 +28,6 @@ private:
 
 INTERFACE[mp && debug]:
 
-#include "per_cpu_data.h"
-
 EXTENSION class Ipi
 {
 public: