ARM: restart: only perform setup for restart when soft-restarting
[pandora-kernel.git] / arch / arm / mach-s3c64xx / mach-smdk6400.c
index 6fd5e95..73450c2 100644 (file)
@@ -31,7 +31,7 @@
 
 #include <plat/regs-serial.h>
 
-#include <mach/s3c6400.h>
+#include <plat/s3c6400.h>
 #include <plat/clock.h>
 #include <plat/devs.h>
 #include <plat/cpu.h>