X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=arch%2Fx86%2Fkernel%2Fmachine_kexec_32.c;h=8c53c5d7a1bc5e9733e4b4da8ed1a760ab138dbe;hb=d11636511ed97ceda66a08ecff99f100e1107b76;hp=5f43cec296c5c38dc28a2a0c0e43aee91ee89934;hpb=e6c7c63001920a57f23c8f5d6f652bfc4bea327b;p=platform%2Fkernel%2Flinux-rpi.git

diff --git a/arch/x86/kernel/machine_kexec_32.c b/arch/x86/kernel/machine_kexec_32.c
index 5f43cec..8c53c5d 100644
--- a/arch/x86/kernel/machine_kexec_32.c
+++ b/arch/x86/kernel/machine_kexec_32.c
@@ -23,7 +23,7 @@
 #include <asm/io_apic.h>
 #include <asm/cpufeature.h>
 #include <asm/desc.h>
-#include <asm/cacheflush.h>
+#include <asm/set_memory.h>
 #include <asm/debugreg.h>
 
 static void set_idt(void *newidt, __u16 limit)