x86: add PAGE_KERNEL_EXEC_NOCACHE
[wrt350n-kernel.git] / include / asm-arm / arch-ks8695 / system.h
blob3bc28106d937b440e2a3c206cfabc32f7a186a0e
1 /*
2 * include/asm-arm/arch-s3c2410/system.h
4 * Copyright (C) 2006 Simtec Electronics
5 * Ben Dooks <ben@simtec.co.uk>
7 * KS8695 - System function defines and includes
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License version 2 as
11 * published by the Free Software Foundation.
14 #ifndef __ASM_ARCH_SYSTEM_H
15 #define __ASM_ARCH_SYSTEM_H
17 #include <asm/io.h>
18 #include <asm/arch/regs-timer.h>
20 static void arch_idle(void)
23 * This should do all the clock switching
24 * and wait for interrupt tricks,
26 cpu_do_idle();
30 static void arch_reset(char mode)
32 unsigned int reg;
34 if (mode == 's')
35 cpu_reset(0);
37 /* disable timer0 */
38 reg = __raw_readl(KS8695_TMR_VA + KS8695_TMCON);
39 __raw_writel(reg & ~TMCON_T0EN, KS8695_TMR_VA + KS8695_TMCON);
41 /* enable watchdog mode */
42 __raw_writel((10 << 8) | T0TC_WATCHDOG, KS8695_TMR_VA + KS8695_T0TC);
44 /* re-enable timer0 */
45 __raw_writel(reg | TMCON_T0EN, KS8695_TMR_VA + KS8695_TMCON);
48 #endif