Add the ability to reset the machine using the RESET_REG in ACPI's FADT table.
[linux-2.6] / include / asm-arm / mmu.h
1 #ifndef __ARM_MMU_H
2 #define __ARM_MMU_H
3
4 #ifdef CONFIG_MMU
5
6 typedef struct {
7 #ifdef CONFIG_CPU_HAS_ASID
8         unsigned int id;
9 #endif
10         unsigned int kvm_seq;
11 } mm_context_t;
12
13 #ifdef CONFIG_CPU_HAS_ASID
14 #define ASID(mm)        ((mm)->context.id & 255)
15 #else
16 #define ASID(mm)        (0)
17 #endif
18
19 #else
20
21 /*
22  * From nommu.h:
23  *  Copyright (C) 2002, David McCullough <davidm@snapgear.com>
24  *  modified for 2.6 by Hyok S. Choi <hyok.choi@samsung.com>
25  */
26 typedef struct {
27         struct vm_list_struct   *vmlist;
28         unsigned long           end_brk;
29 } mm_context_t;
30
31 #endif
32
33 #endif