#include <linux/platform_device.h>
#include <linux/types.h>
#include <linux/watchdog.h>
- #include <asm/uaccess.h>
+ #include <linux/uaccess.h>
-#include <asm/arch/at91_st.h>
-
+#include <mach/at91_st.h>
-
#define WDT_DEFAULT_TIME 5 /* seconds */
#define WDT_MAX_TIME 256 /* seconds */
#include <linux/bitops.h>
#include <linux/platform_device.h>
#include <linux/spinlock.h>
-
+ #include <linux/uaccess.h>
+ #include <linux/io.h>
-
-#include <asm/hardware.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
- #include <asm/io.h>
#define MODULE_NAME "DAVINCI-WDT: "
#include <linux/miscdevice.h>
#include <linux/watchdog.h>
#include <linux/timer.h>
-
+ #include <linux/uaccess.h>
-
-#include <asm/hardware.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
#define WDT_VERSION "0.3"
#define PFX "ep93xx_wdt: "
#include <linux/watchdog.h>
#include <linux/init.h>
#include <linux/bitops.h>
-
+ #include <linux/uaccess.h>
-
-#include <asm/hardware.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
static int nowayout = WATCHDOG_NOWAYOUT;
static unsigned int heartbeat = 60; /* (secs) Default is 1 minute */
#include <linux/watchdog.h>
#include <linux/init.h>
#include <linux/bitops.h>
-
+ #include <linux/uaccess.h>
-
-#include <asm/hardware.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
static int nowayout = WATCHDOG_NOWAYOUT;
static int heartbeat = 60; /* (secs) Default is 1 minute */
#include <linux/platform_device.h>
#include <linux/types.h>
#include <linux/watchdog.h>
- #include <asm/io.h>
- #include <asm/uaccess.h>
+ #include <linux/io.h>
+ #include <linux/uaccess.h>
-#include <asm/arch/regs-timer.h>
-
+#include <mach/regs-timer.h>
-
#define WDT_DEFAULT_TIME 5 /* seconds */
#define WDT_MAX_TIME 171 /* seconds */
#include <linux/moduleparam.h>
#include <linux/clk.h>
#include <linux/bitops.h>
-
- #include <asm/io.h>
- #include <asm/uaccess.h>
+ #include <linux/io.h>
+ #include <linux/uaccess.h>
-#include <linux/hardware.h>
-
-#include <asm/arch/prcm.h>
+#include <mach/hardware.h>
-
+#include <mach/prcm.h>
#include "omap_wdt.h"
#include <linux/platform_device.h>
#include <linux/clk.h>
#include <linux/spinlock.h>
-
+ #include <linux/uaccess.h>
+ #include <linux/io.h>
-
-#include <asm/hardware.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
- #include <asm/io.h>
#define MODULE_NAME "PNX4008-WDT: "
#include <linux/watchdog.h>
#include <linux/init.h>
#include <linux/bitops.h>
+ #include <linux/uaccess.h>
#ifdef CONFIG_ARCH_PXA
-#include <asm/arch/pxa-regs.h>
+#include <mach/pxa-regs.h>
#endif
-#include <asm/hardware.h>
+#include <mach/reset.h>
+#include <mach/hardware.h>
- #include <asm/uaccess.h>
#define OSCR_FREQ CLOCK_TICK_RATE
#include <linux/reboot.h>
#include <linux/init.h>
#include <linux/interrupt.h>
-
- #include <asm/irq.h>
- #include <asm/uaccess.h>
+ #include <linux/uaccess.h>
+ #include <linux/irq.h>
+#include <mach/hardware.h>
+
-#include <asm/hardware.h>
#include <asm/mach-types.h>
#include <asm/hardware/dec21285.h>