Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision 43114c515872442297f5b1b8a327743ef24c825a)
+++ arch/ia32/src/cpu/cpu.c	(revision 7b7d7d1cbbddea9be6f0e75c0adabf7bda19ad53)
@@ -35,4 +35,6 @@
 #include <print.h>
 #include <typedefs.h>
+
+#include <arch/smp/apic.h>
 
 /*