Merge branch 'linus' into cpus4096
[pandora-kernel.git] / include / asm-x86 / ipi.h
index 5f7310a..bb1c09f 100644 (file)
@@ -20,6 +20,7 @@
 
 #include <asm/hw_irq.h>
 #include <asm/apic.h>
+#include <asm/smp.h>
 
 /*
  * the following functions deal with sending IPIs between CPUs.