X-Git-Url: https://git.openpandora.org/cgi-bin/gitweb.cgi?p=pandora-kernel.git;a=blobdiff_plain;f=arch%2Fx86%2Fkernel%2Fhead32.c;h=763310165fa0d1b0e4bf1891632a729e289980e8;hp=9a6ca23921705ee4122e8d90aec48a7bdc350f0e;hb=10f2a2b0f68abf39c06cf519cbc1740fa50f900b;hpb=8814011679d1a47d8b0158fc991727a5859471a0;ds=sidebyside

diff --git a/arch/x86/kernel/head32.c b/arch/x86/kernel/head32.c
index 9a6ca2392170..763310165fa0 100644
--- a/arch/x86/kernel/head32.c
+++ b/arch/x86/kernel/head32.c
@@ -18,6 +18,7 @@
 #include <asm/apic.h>
 #include <asm/io_apic.h>
 #include <asm/bios_ebda.h>
+#include <asm/tlbflush.h>
 
 static void __init i386_default_early_setup(void)
 {