Added patch headers.
[linux-flexiantxendom0-3.2.10.git] / arch / x86 / include / mach-xen / asm / pgtable_64.h
1 #ifndef _ASM_X86_PGTABLE_64_H
2 #define _ASM_X86_PGTABLE_64_H
3
4 #include <linux/const.h>
5 #include <asm/pgtable_64_types.h>
6
7 #ifndef __ASSEMBLY__
8
9 /*
10  * This file contains the functions and defines necessary to modify and use
11  * the x86-64 page table tree.
12  */
13 #include <asm/processor.h>
14 #include <linux/bitops.h>
15 #include <linux/threads.h>
16 #include <linux/sched.h>
17
18 #ifdef CONFIG_XEN
19 extern pud_t level3_user_pgt[512];
20
21 extern void xen_init_pt(void);
22 extern void xen_switch_pt(void);
23 #endif
24
25 extern pud_t level3_kernel_pgt[512];
26 extern pud_t level3_ident_pgt[512];
27 extern pmd_t level2_kernel_pgt[512];
28 extern pmd_t level2_fixmap_pgt[512];
29 extern pmd_t level2_ident_pgt[512];
30 extern pgd_t init_level4_pgt[];
31
32 #define swapper_pg_dir init_level4_pgt
33
34 extern void paging_init(void);
35
36 #define pte_ERROR(e)                                                    \
37         printk("%s:%d: bad pte %p(%016lx pfn %010lx).\n",               \
38                __FILE__, __LINE__, &(e), __pte_val(e), pte_pfn(e))
39 #define pmd_ERROR(e)                                                    \
40         printk("%s:%d: bad pmd %p(%016lx pfn %010lx).\n",               \
41                __FILE__, __LINE__, &(e), __pmd_val(e), pmd_pfn(e))
42 #define pud_ERROR(e)                                                    \
43         printk("%s:%d: bad pud %p(%016lx pfn %010Lx).\n",               \
44                __FILE__, __LINE__, &(e), __pud_val(e),                  \
45                (pud_val(e) & __PHYSICAL_MASK) >> PAGE_SHIFT)
46 #define pgd_ERROR(e)                                                    \
47         printk("%s:%d: bad pgd %p(%016lx pfn %010Lx).\n",               \
48                __FILE__, __LINE__, &(e), __pgd_val(e),                  \
49                (pgd_val(e) & __PHYSICAL_MASK) >> PAGE_SHIFT)
50
51 struct mm_struct;
52
53 void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte);
54
55
56 #define __xen_pte_clear(ptep) xen_set_pte(ptep, __pte(0))
57
58 static inline void xen_set_pte(pte_t *ptep, pte_t pte)
59 {
60         *ptep = pte;
61 }
62
63 static inline void xen_set_pte_atomic(pte_t *ptep, pte_t pte)
64 {
65         xen_set_pte(ptep, pte);
66 }
67
68 #ifdef CONFIG_SMP
69 static inline pte_t xen_ptep_get_and_clear(pte_t *xp, pte_t ret)
70 {
71         return __pte_ma(xchg(&xp->pte, 0));
72 }
73 #else
74 #define xen_ptep_get_and_clear(xp, pte) xen_local_ptep_get_and_clear(xp, pte)
75 #endif
76
77 static inline void xen_set_pmd(pmd_t *pmdp, pmd_t pmd)
78 {
79         xen_l2_entry_update(pmdp, pmd);
80 }
81
82 #define xen_pmd_clear(pmd)                      \
83 ({                                              \
84         pmd_t *__pmdp = (pmd);                  \
85         PagePinned(virt_to_page(__pmdp))        \
86         ? set_pmd(__pmdp, xen_make_pmd(0))      \
87         : (void)(*__pmdp = xen_make_pmd(0));    \
88 })
89
90 static inline void xen_set_pud(pud_t *pudp, pud_t pud)
91 {
92         xen_l3_entry_update(pudp, pud);
93 }
94
95 #define xen_pud_clear(pud)                      \
96 ({                                              \
97         pud_t *__pudp = (pud);                  \
98         PagePinned(virt_to_page(__pudp))        \
99         ? set_pud(__pudp, xen_make_pud(0))      \
100         : (void)(*__pudp = xen_make_pud(0));    \
101 })
102
103 static inline pgd_t *__user_pgd(pgd_t *pgd)
104 {
105         if (unlikely(((unsigned long)pgd & PAGE_MASK)
106                      == (unsigned long)init_level4_pgt))
107                 return NULL;
108         return (pgd_t *)(virt_to_page(pgd)->index
109                          + ((unsigned long)pgd & ~PAGE_MASK));
110 }
111
112 static inline void xen_set_pgd(pgd_t *pgdp, pgd_t pgd)
113 {
114         xen_l4_entry_update(pgdp, pgd);
115 }
116
117 #define xen_pgd_clear(pgd)                      \
118 ({                                              \
119         pgd_t *__pgdp = (pgd);                  \
120         PagePinned(virt_to_page(__pgdp))        \
121         ? xen_l4_entry_update(__pgdp, xen_make_pgd(0)) \
122         : (void)(*__user_pgd(__pgdp) = *__pgdp = xen_make_pgd(0)); \
123 })
124
125 #define __pte_mfn(_pte) (((_pte).pte & PTE_PFN_MASK) >> PAGE_SHIFT)
126
127 extern unsigned long early_arbitrary_virt_to_mfn(void *va);
128
129 /*
130  * Conversion functions: convert a page and protection to a page entry,
131  * and a page entry and page directory to the page they refer to.
132  */
133
134 /*
135  * Level 4 access.
136  */
137 static inline int pgd_large(pgd_t pgd) { return 0; }
138 #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE)
139
140 /* PUD - Level3 access */
141
142 /* PMD  - Level 2 access */
143 #define pte_to_pgoff(pte) ((__pte_val(pte) & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT)
144 #define pgoff_to_pte(off) ((pte_t) { .pte = ((off) << PAGE_SHIFT) |     \
145                                             _PAGE_FILE })
146 #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT
147
148 /* PTE - Level 1 access. */
149
150 /* x86-64 always has all page tables mapped. */
151 #define pte_offset_map(dir, address) pte_offset_kernel((dir), (address))
152 #define pte_offset_map_nested(dir, address) pte_offset_kernel((dir), (address))
153 #define pte_unmap(pte) /* NOP */
154 #define pte_unmap_nested(pte) /* NOP */
155
156 #define update_mmu_cache(vma, address, ptep) do { } while (0)
157
158 /* Encode and de-code a swap entry */
159 #if _PAGE_BIT_FILE < _PAGE_BIT_PROTNONE
160 #define SWP_TYPE_BITS (_PAGE_BIT_FILE - _PAGE_BIT_PRESENT - 1)
161 #define SWP_OFFSET_SHIFT (_PAGE_BIT_PROTNONE + 1)
162 #else
163 #define SWP_TYPE_BITS (_PAGE_BIT_PROTNONE - _PAGE_BIT_PRESENT - 1)
164 #define SWP_OFFSET_SHIFT (_PAGE_BIT_FILE + 1)
165 #endif
166
167 #define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS)
168
169 #define __swp_type(x)                   (((x).val >> (_PAGE_BIT_PRESENT + 1)) \
170                                          & ((1U << SWP_TYPE_BITS) - 1))
171 #define __swp_offset(x)                 ((x).val >> SWP_OFFSET_SHIFT)
172 #define __swp_entry(type, offset)       ((swp_entry_t) { \
173                                          ((type) << (_PAGE_BIT_PRESENT + 1)) \
174                                          | ((offset) << SWP_OFFSET_SHIFT) })
175 #define __pte_to_swp_entry(pte)         ((swp_entry_t) { __pte_val(pte) })
176 #define __swp_entry_to_pte(x)           ((pte_t) { .pte = (x).val })
177
178 extern int kern_addr_valid(unsigned long addr);
179 extern void cleanup_highmap(void);
180
181 #define HAVE_ARCH_UNMAPPED_AREA
182 #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
183
184 #define pgtable_cache_init()   do { } while (0)
185 #define check_pgt_cache()      do { } while (0)
186
187 #define PAGE_AGP    PAGE_KERNEL_NOCACHE
188 #define HAVE_PAGE_AGP 1
189
190 /* fs/proc/kcore.c */
191 #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
192 #define kc_offset_to_vaddr(o) ((o) | ~__VIRTUAL_MASK)
193
194 #define __HAVE_ARCH_PTE_SAME
195 #endif /* !__ASSEMBLY__ */
196
197 #endif /* _ASM_X86_PGTABLE_64_H */