20
21
static inline void arch_wdt_reset(void)
24
23
printk("arch_reset: attempting watchdog reset\n");
26
25
__raw_writel(0, S3C2410_WTCON); /* disable watchdog, to be safe */
34
30
/* put initial values into count and data */
35
31
__raw_writel(0x80, S3C2410_WTCNT);