#include <linux/platform_data/pinctrl-nomadik.h>
#include <linux/platform_data/dma-ste-dma40.h>
-#include <mach/devices.h>
+#include "devices.h"
#include "irqs.h"
#include <linux/platform_data/asoc-ux500-msp.h>
#include <linux/platform_data/dma-ste-dma40.h>
#include <asm/mach-types.h>
-#include <mach/devices.h>
+#include "devices.h"
#include "db8500-regs.h"
#include "devices-db8500.h"
#include <asm/mach-types.h>
#include <asm/mach/arch.h>
-#include <mach/setup.h>
-#include <mach/devices.h>
+#include "setup.h"
+#include "devices.h"
#include "irqs.h"
#include <linux/platform_data/crypto-ux500.h>
#include <asm/mach/map.h>
#include <asm/mach/arch.h>
-#include <mach/setup.h>
-#include <mach/devices.h>
+#include "setup.h"
+#include "devices.h"
#include "irqs.h"
#include "devices-db8500.h"
#include <asm/mach/map.h>
-#include <mach/setup.h>
-#include <mach/devices.h>
+#include "setup.h"
+#include "devices.h"
#include "board-mop500.h"
#include "db8500-regs.h"
#include <linux/platform_data/dma-ste-dma40.h>
#include <linux/mfd/dbx500-prcmu.h>
-#include <mach/setup.h>
+#include "setup.h"
#include "irqs.h"
#include "db8500-regs.h"
#include <linux/io.h>
#include <linux/amba/bus.h>
-#include <mach/setup.h>
+#include "setup.h"
#include "db8500-regs.h"
#include <asm/cacheflush.h>
#include <asm/smp_plat.h>
-#include <mach/setup.h>
+#include "setup.h"
/*
* platform-specific code to shutdown a CPU
#include <asm/cacheflush.h>
#include <asm/mach/map.h>
-#include <mach/setup.h>
+#include "setup.h"
#include "db8500-regs.h"
#include "id.h"
#include <asm/smp_plat.h>
#include <asm/smp_scu.h>
-#include <mach/setup.h>
+#include "setup.h"
#include "db8500-regs.h"
#include "id.h"
#include <asm/smp_twd.h>
-#include <mach/setup.h>
+#include "setup.h"
#include "irqs.h"
#include "db8500-regs.h"
#include <asm/sched_clock.h>
-#include <mach/setup.h>
-
#define RATE_32K 32768
#define TIMER_MODE_CONTINOUS 0x1