ACPI: reboot.c: use new acpi_reset interface
[safe/jmp/linux-2.6] / drivers / serial / samsung.c
index 5a88b3f..1e219d3 100644 (file)
@@ -47,7 +47,7 @@
 
 #include <mach/hardware.h>
 
-#include <asm/plat-s3c/regs-serial.h>
+#include <plat/regs-serial.h>
 #include <mach/regs-gpio.h>
 
 #include "samsung.h"