- patches.rt/0001-sched-count-of-queued-RT-tasks.patch: Delete.
[linux-flexiantxendom0-3.2.10.git] / include / asm-x86 / mach-xen / asm / pgtable_64.h
1 #ifndef _X86_64_PGTABLE_H
2 #define _X86_64_PGTABLE_H
3
4 #include <linux/const.h>
5 #ifndef __ASSEMBLY__
6
7 /*
8  * This file contains the functions and defines necessary to modify and use
9  * the x86-64 page table tree.
10  */
11 #include <asm/processor.h>
12 #include <linux/bitops.h>
13 #include <linux/threads.h>
14 #include <linux/sched.h>
15 #include <asm/pda.h>
16 #ifdef CONFIG_XEN
17 #include <asm/hypervisor.h>
18
19 extern pud_t level3_user_pgt[512];
20
21 extern void xen_init_pt(void);
22
23 #define virt_to_ptep(__va)                                              \
24 ({                                                                      \
25         pgd_t *__pgd = pgd_offset_k((unsigned long)(__va));             \
26         pud_t *__pud = pud_offset(__pgd, (unsigned long)(__va));        \
27         pmd_t *__pmd = pmd_offset(__pud, (unsigned long)(__va));        \
28         pte_offset_kernel(__pmd, (unsigned long)(__va));                \
29 })
30
31 #define arbitrary_virt_to_machine(__va)                                 \
32 ({                                                                      \
33         maddr_t m = (maddr_t)pte_mfn(*virt_to_ptep(__va)) << PAGE_SHIFT;\
34         m | ((unsigned long)(__va) & (PAGE_SIZE-1));                    \
35 })
36 #endif
37
38 extern pud_t level3_kernel_pgt[512];
39 extern pud_t level3_ident_pgt[512];
40 extern pmd_t level2_kernel_pgt[512];
41 extern pgd_t init_level4_pgt[];
42 extern unsigned long __supported_pte_mask;
43
44 #define swapper_pg_dir init_level4_pgt
45
46 extern void paging_init(void);
47 extern void clear_kernel_mapping(unsigned long addr, unsigned long size);
48
49 /*
50  * ZERO_PAGE is a global shared page that is always zero: used
51  * for zero-mapped memory areas etc..
52  */
53 extern unsigned long empty_zero_page[PAGE_SIZE/sizeof(unsigned long)];
54 #define ZERO_PAGE(vaddr) (virt_to_page(empty_zero_page))
55
56 #endif /* !__ASSEMBLY__ */
57
58 /*
59  * PGDIR_SHIFT determines what a top-level page table entry can map
60  */
61 #define PGDIR_SHIFT     39
62 #define PTRS_PER_PGD    512
63
64 /*
65  * 3rd level page
66  */
67 #define PUD_SHIFT       30
68 #define PTRS_PER_PUD    512
69
70 /*
71  * PMD_SHIFT determines the size of the area a middle-level
72  * page table can map
73  */
74 #define PMD_SHIFT       21
75 #define PTRS_PER_PMD    512
76
77 /*
78  * entries per page directory level
79  */
80 #define PTRS_PER_PTE    512
81
82 #ifndef __ASSEMBLY__
83
84 #define pte_ERROR(e) \
85         printk("%s:%d: bad pte %p(%016lx pfn %010lx).\n", __FILE__, __LINE__, \
86                &(e), __pte_val(e), pte_pfn(e))
87 #define pmd_ERROR(e) \
88         printk("%s:%d: bad pmd %p(%016lx pfn %010lx).\n", __FILE__, __LINE__, \
89                &(e), __pmd_val(e), pmd_pfn(e))
90 #define pud_ERROR(e) \
91         printk("%s:%d: bad pud %p(%016lx pfn %010lx).\n", __FILE__, __LINE__, \
92                &(e), __pud_val(e), (pud_val(e) & __PHYSICAL_MASK) >> PAGE_SHIFT)
93 #define pgd_ERROR(e) \
94         printk("%s:%d: bad pgd %p(%016lx pfn %010lx).\n", __FILE__, __LINE__, \
95                &(e), __pgd_val(e), (pgd_val(e) & __PHYSICAL_MASK) >> PAGE_SHIFT)
96
97 #define pgd_none(x)     (!__pgd_val(x))
98 #define pud_none(x)     (!__pud_val(x))
99
100 static inline void set_pte(pte_t *dst, pte_t val)
101 {
102         *dst = val;
103 }
104
105 #define set_pmd(pmdptr, pmdval) xen_l2_entry_update(pmdptr, (pmdval))
106 #define set_pud(pudptr, pudval) xen_l3_entry_update(pudptr, (pudval))
107 #define set_pgd(pgdptr, pgdval) xen_l4_entry_update(pgdptr, (pgdval))
108
109 static inline void pud_clear (pud_t * pud)
110 {
111         set_pud(pud, __pud(0));
112 }
113
114 #define __user_pgd(pgd) ((pgd) + PTRS_PER_PGD)
115
116 static inline void pgd_clear (pgd_t * pgd)
117 {
118         set_pgd(pgd, __pgd(0));
119         set_pgd(__user_pgd(pgd), __pgd(0));
120 }
121
122 #define pte_same(a, b)          ((a).pte == (b).pte)
123
124 #define pte_pgprot(a)   (__pgprot((a).pte & ~PHYSICAL_PAGE_MASK))
125
126 #endif /* !__ASSEMBLY__ */
127
128 #define PMD_SIZE        (_AC(1,UL) << PMD_SHIFT)
129 #define PMD_MASK        (~(PMD_SIZE-1))
130 #define PUD_SIZE        (_AC(1,UL) << PUD_SHIFT)
131 #define PUD_MASK        (~(PUD_SIZE-1))
132 #define PGDIR_SIZE      (_AC(1,UL) << PGDIR_SHIFT)
133 #define PGDIR_MASK      (~(PGDIR_SIZE-1))
134
135 #define USER_PTRS_PER_PGD       ((TASK_SIZE-1)/PGDIR_SIZE+1)
136 #define FIRST_USER_ADDRESS      0
137
138 #define MAXMEM           _AC(0x3fffffffffff, UL)
139 #define VMALLOC_START    _AC(0xffffc20000000000, UL)
140 #define VMALLOC_END      _AC(0xffffe1ffffffffff, UL)
141 #define VMEMMAP_START    _AC(0xffffe20000000000, UL)
142 #define MODULES_VADDR    _AC(0xffffffff88000000, UL)
143 #define MODULES_END      _AC(0xfffffffffff00000, UL)
144 #define MODULES_LEN   (MODULES_END - MODULES_VADDR)
145
146 #define _PAGE_BIT_PRESENT       0
147 #define _PAGE_BIT_RW            1
148 #define _PAGE_BIT_USER          2
149 #define _PAGE_BIT_PWT           3
150 #define _PAGE_BIT_PCD           4
151 #define _PAGE_BIT_ACCESSED      5
152 #define _PAGE_BIT_DIRTY         6
153 #define _PAGE_BIT_PSE           7       /* 4 MB (or 2MB) page */
154 #define _PAGE_BIT_GLOBAL        8       /* Global TLB entry PPro+ */
155 #define _PAGE_BIT_NX           63       /* No execute: only valid after cpuid check */
156
157 #define _PAGE_PRESENT   0x001
158 #define _PAGE_RW        0x002
159 #define _PAGE_USER      0x004
160 #define _PAGE_PWT       0x008
161 #define _PAGE_PCD       0x010
162 #define _PAGE_ACCESSED  0x020
163 #define _PAGE_DIRTY     0x040
164 #define _PAGE_PSE       0x080   /* 2MB page */
165 #define _PAGE_FILE      0x040   /* nonlinear file mapping, saved PTE; unset:swap */
166 #define _PAGE_GLOBAL    0x100   /* Global TLB entry */
167
168 #define _PAGE_PROTNONE  0x080   /* If not present */
169 #define _PAGE_NX        (_AC(1,UL)<<_PAGE_BIT_NX)
170
171 #ifndef __ASSEMBLY__
172 #if CONFIG_XEN_COMPAT <= 0x030002
173 extern unsigned int __kernel_page_user;
174 #else
175 #define __kernel_page_user 0
176 #endif
177 #endif
178
179 #define _PAGE_TABLE     (_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED | _PAGE_DIRTY)
180 #define _KERNPG_TABLE   (_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED | _PAGE_DIRTY | __kernel_page_user)
181
182 #define _PAGE_CHG_MASK  (PTE_MASK | _PAGE_ACCESSED | _PAGE_DIRTY)
183
184 #define PAGE_NONE       __pgprot(_PAGE_PROTNONE | _PAGE_ACCESSED)
185 #define PAGE_SHARED     __pgprot(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
186 #define PAGE_SHARED_EXEC __pgprot(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED)
187 #define PAGE_COPY_NOEXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
188 #define PAGE_COPY PAGE_COPY_NOEXEC
189 #define PAGE_COPY_EXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
190 #define PAGE_READONLY   __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
191 #define PAGE_READONLY_EXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
192 #define __PAGE_KERNEL \
193         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_ACCESSED | _PAGE_NX | __kernel_page_user)
194 #define __PAGE_KERNEL_EXEC \
195         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_ACCESSED | __kernel_page_user)
196 #define __PAGE_KERNEL_NOCACHE \
197         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_PCD | _PAGE_ACCESSED | _PAGE_NX | __kernel_page_user)
198 #define __PAGE_KERNEL_RO \
199         (_PAGE_PRESENT | _PAGE_DIRTY | _PAGE_ACCESSED | _PAGE_NX | __kernel_page_user)
200 #define __PAGE_KERNEL_VSYSCALL \
201         (_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
202 #define __PAGE_KERNEL_VSYSCALL_NOCACHE \
203         (_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_PCD)
204 #define __PAGE_KERNEL_LARGE \
205         (__PAGE_KERNEL | _PAGE_PSE)
206 #define __PAGE_KERNEL_LARGE_EXEC \
207         (__PAGE_KERNEL_EXEC | _PAGE_PSE)
208
209 /*
210  * We don't support GLOBAL page in xenolinux64
211  */
212 #define MAKE_GLOBAL(x) __pgprot((x))
213
214 #define PAGE_KERNEL MAKE_GLOBAL(__PAGE_KERNEL)
215 #define PAGE_KERNEL_EXEC MAKE_GLOBAL(__PAGE_KERNEL_EXEC)
216 #define PAGE_KERNEL_RO MAKE_GLOBAL(__PAGE_KERNEL_RO)
217 #define PAGE_KERNEL_NOCACHE MAKE_GLOBAL(__PAGE_KERNEL_NOCACHE)
218 #define PAGE_KERNEL_VSYSCALL32 __pgprot(__PAGE_KERNEL_VSYSCALL)
219 #define PAGE_KERNEL_VSYSCALL MAKE_GLOBAL(__PAGE_KERNEL_VSYSCALL)
220 #define PAGE_KERNEL_LARGE MAKE_GLOBAL(__PAGE_KERNEL_LARGE)
221 #define PAGE_KERNEL_VSYSCALL_NOCACHE MAKE_GLOBAL(__PAGE_KERNEL_VSYSCALL_NOCACHE)
222
223 /*         xwr */
224 #define __P000  PAGE_NONE
225 #define __P001  PAGE_READONLY
226 #define __P010  PAGE_COPY
227 #define __P011  PAGE_COPY
228 #define __P100  PAGE_READONLY_EXEC
229 #define __P101  PAGE_READONLY_EXEC
230 #define __P110  PAGE_COPY_EXEC
231 #define __P111  PAGE_COPY_EXEC
232
233 #define __S000  PAGE_NONE
234 #define __S001  PAGE_READONLY
235 #define __S010  PAGE_SHARED
236 #define __S011  PAGE_SHARED
237 #define __S100  PAGE_READONLY_EXEC
238 #define __S101  PAGE_READONLY_EXEC
239 #define __S110  PAGE_SHARED_EXEC
240 #define __S111  PAGE_SHARED_EXEC
241
242 #ifndef __ASSEMBLY__
243
244 static inline unsigned long pgd_bad(pgd_t pgd)
245 {
246         return __pgd_val(pgd) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
247 }
248
249 static inline unsigned long pud_bad(pud_t pud)
250 {
251         return __pud_val(pud) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
252 }
253
254 static inline unsigned long pmd_bad(pmd_t pmd)
255 {
256         return __pmd_val(pmd) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
257 }
258
259 #define set_pte_at(_mm,addr,ptep,pteval) do {                           \
260         if (((_mm) != current->mm && (_mm) != &init_mm) ||              \
261             HYPERVISOR_update_va_mapping((addr), (pteval), 0))          \
262                 set_pte((ptep), (pteval));                              \
263 } while (0)
264
265 #define pte_none(x)     (!(x).pte)
266 #define pte_present(x)  ((x).pte & (_PAGE_PRESENT | _PAGE_PROTNONE))
267 #define pte_clear(mm,addr,xp)   do { set_pte_at(mm, addr, xp, __pte(0)); } while (0)
268
269 #define pages_to_mb(x) ((x) >> (20-PAGE_SHIFT))
270
271 #define __pte_mfn(_pte) (((_pte).pte & PTE_MASK) >> PAGE_SHIFT)
272 #define pte_mfn(_pte) ((_pte).pte & _PAGE_PRESENT ? \
273         __pte_mfn(_pte) : pfn_to_mfn(__pte_mfn(_pte)))
274 #define pte_pfn(_pte) ((_pte).pte & _PAGE_PRESENT ? \
275         mfn_to_local_pfn(__pte_mfn(_pte)) : __pte_mfn(_pte))
276
277 #define pte_page(x)     pfn_to_page(pte_pfn(x))
278
279 static inline pte_t pfn_pte(unsigned long page_nr, pgprot_t pgprot)
280 {
281         unsigned long pte = page_nr << PAGE_SHIFT;
282         pte |= pgprot_val(pgprot);
283         pte &= __supported_pte_mask;
284         return __pte(pte);
285 }
286
287 static inline pte_t ptep_get_and_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep)
288 {
289         pte_t pte = *ptep;
290         if (!pte_none(pte)) {
291                 if ((mm != &init_mm) ||
292                     HYPERVISOR_update_va_mapping(addr, __pte(0), 0))
293                         pte = __pte_ma(xchg(&ptep->pte, 0));
294         }
295         return pte;
296 }
297
298 static inline pte_t ptep_get_and_clear_full(struct mm_struct *mm, unsigned long addr, pte_t *ptep, int full)
299 {
300         if (full) {
301                 pte_t pte = *ptep;
302                 if (mm->context.pinned)
303                         xen_l1_entry_update(ptep, __pte(0));
304                 else
305                         *ptep = __pte(0);
306                 return pte;
307         }
308         return ptep_get_and_clear(mm, addr, ptep);
309 }
310
311 #define ptep_clear_flush(vma, addr, ptep)                       \
312 ({                                                              \
313         pte_t *__ptep = (ptep);                                 \
314         pte_t __res = *__ptep;                                  \
315         if (!pte_none(__res) &&                                 \
316             ((vma)->vm_mm != current->mm ||                     \
317              HYPERVISOR_update_va_mapping(addr, __pte(0),       \
318                         (unsigned long)(vma)->vm_mm->cpu_vm_mask.bits| \
319                                 UVMF_INVLPG|UVMF_MULTI))) {     \
320                 __ptep->pte = 0;                                \
321                 flush_tlb_page(vma, addr);                      \
322         }                                                       \
323         __res;                                                  \
324 })
325
326 /*
327  * The following only work if pte_present() is true.
328  * Undefined behaviour if not..
329  */
330 #define __LARGE_PTE (_PAGE_PSE|_PAGE_PRESENT)
331 static inline int pte_dirty(pte_t pte)          { return __pte_val(pte) & _PAGE_DIRTY; }
332 static inline int pte_young(pte_t pte)          { return __pte_val(pte) & _PAGE_ACCESSED; }
333 static inline int pte_write(pte_t pte)          { return __pte_val(pte) & _PAGE_RW; }
334 static inline int pte_file(pte_t pte)           { return __pte_val(pte) & _PAGE_FILE; }
335 static inline int pte_huge(pte_t pte)           { return __pte_val(pte) & _PAGE_PSE; }
336
337 static inline pte_t pte_mkclean(pte_t pte)      { __pte_val(pte) &= ~_PAGE_DIRTY; return pte; }
338 static inline pte_t pte_mkold(pte_t pte)        { __pte_val(pte) &= ~_PAGE_ACCESSED; return pte; }
339 static inline pte_t pte_wrprotect(pte_t pte)    { __pte_val(pte) &= ~_PAGE_RW; return pte; }
340 static inline pte_t pte_mkexec(pte_t pte)       { __pte_val(pte) &= ~_PAGE_NX; return pte; }
341 static inline pte_t pte_mkdirty(pte_t pte)      { __pte_val(pte) |= _PAGE_DIRTY; return pte; }
342 static inline pte_t pte_mkyoung(pte_t pte)      { __pte_val(pte) |= _PAGE_ACCESSED; return pte; }
343 static inline pte_t pte_mkwrite(pte_t pte)      { __pte_val(pte) |= _PAGE_RW; return pte; }
344 static inline pte_t pte_mkhuge(pte_t pte)       { __pte_val(pte) |= _PAGE_PSE; return pte; }
345 static inline pte_t pte_clrhuge(pte_t pte)      { __pte_val(pte) &= ~_PAGE_PSE; return pte; }
346
347 static inline int ptep_test_and_clear_young(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep)
348 {
349         if (!pte_young(*ptep))
350                 return 0;
351         return test_and_clear_bit(_PAGE_BIT_ACCESSED, &ptep->pte);
352 }
353
354 static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long addr, pte_t *ptep)
355 {
356         pte_t pte = *ptep;
357         if (pte_write(pte))
358                 set_pte_at(mm, addr, ptep, pte_wrprotect(pte));
359 }
360
361 /*
362  * Macro to mark a page protection value as "uncacheable".
363  */
364 #define pgprot_noncached(prot)  (__pgprot(pgprot_val(prot) | _PAGE_PCD | _PAGE_PWT))
365
366 static inline int pmd_large(pmd_t pte) { 
367         return (__pmd_val(pte) & __LARGE_PTE) == __LARGE_PTE;
368 }       
369
370
371 /*
372  * Conversion functions: convert a page and protection to a page entry,
373  * and a page entry and page directory to the page they refer to.
374  */
375
376 /*
377  * Level 4 access.
378  * Never use these in the common code.
379  */
380 #define pgd_page_vaddr(pgd) ((unsigned long) __va(pgd_val(pgd) & PTE_MASK))
381 #define pgd_page(pgd)           (pfn_to_page(pgd_val(pgd) >> PAGE_SHIFT))
382 #define pgd_index(address) (((address) >> PGDIR_SHIFT) & (PTRS_PER_PGD-1))
383 #define pgd_offset(mm, addr) ((mm)->pgd + pgd_index(addr))
384 #define pgd_offset_k(address) (init_level4_pgt + pgd_index(address))
385 #define pgd_present(pgd) (__pgd_val(pgd) & _PAGE_PRESENT)
386 #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE)
387
388 /* PUD - Level3 access */
389 /* to find an entry in a page-table-directory. */
390 #define pud_page_vaddr(pud) ((unsigned long) __va(pud_val(pud) & PHYSICAL_PAGE_MASK))
391 #define pud_page(pud)           (pfn_to_page(pud_val(pud) >> PAGE_SHIFT))
392 #define pud_index(address) (((address) >> PUD_SHIFT) & (PTRS_PER_PUD-1))
393 #define pud_offset(pgd, address) ((pud_t *) pgd_page_vaddr(*(pgd)) + pud_index(address))
394 #define pud_present(pud) (__pud_val(pud) & _PAGE_PRESENT)
395
396 /* PMD  - Level 2 access */
397 #define pmd_page_vaddr(pmd) ((unsigned long) __va(pmd_val(pmd) & PTE_MASK))
398 #define pmd_page(pmd)           (pfn_to_page(pmd_val(pmd) >> PAGE_SHIFT))
399
400 #define pmd_index(address) (((address) >> PMD_SHIFT) & (PTRS_PER_PMD-1))
401 #define pmd_offset(dir, address) ((pmd_t *) pud_page_vaddr(*(dir)) + \
402                                   pmd_index(address))
403 #define pmd_none(x)     (!__pmd_val(x))
404 #if CONFIG_XEN_COMPAT <= 0x030002
405 /* pmd_present doesn't just test the _PAGE_PRESENT bit since wr.p.t.
406    can temporarily clear it. */
407 #define pmd_present(x)  (__pmd_val(x))
408 #else
409 #define pmd_present(x)  (__pmd_val(x) & _PAGE_PRESENT)
410 #endif
411 #define pmd_clear(xp)   do { set_pmd(xp, __pmd(0)); } while (0)
412 #define pfn_pmd(nr,prot) (__pmd(((nr) << PAGE_SHIFT) | pgprot_val(prot)))
413 #define pmd_pfn(x)  ((pmd_val(x) & __PHYSICAL_MASK) >> PAGE_SHIFT)
414
415 #define pte_to_pgoff(pte) ((__pte_val(pte) & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT)
416 #define pgoff_to_pte(off) ((pte_t) { ((off) << PAGE_SHIFT) | _PAGE_FILE })
417 #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT
418
419 /* PTE - Level 1 access. */
420
421 /* page, protection -> pte */
422 #define mk_pte(page, pgprot)    pfn_pte(page_to_pfn(page), (pgprot))
423 #define mk_pte_huge(entry) (__pte_val(entry) |= _PAGE_PRESENT | _PAGE_PSE)
424  
425 /* Change flags of a PTE */
426 static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
427
428         /*
429          * Since this might change the present bit (which controls whether
430          * a pte_t object has undergone p2m translation), we must use
431          * pte_val() on the input pte and __pte() for the return value.
432          */
433         unsigned long pteval = pte_val(pte);
434
435         pteval &= _PAGE_CHG_MASK;
436         pteval |= pgprot_val(newprot);
437         pteval &= __supported_pte_mask;
438         return __pte(pteval);
439 }
440
441 #define pte_index(address) \
442                 (((address) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))
443 #define pte_offset_kernel(dir, address) ((pte_t *) pmd_page_vaddr(*(dir)) + \
444                         pte_index(address))
445
446 /* x86-64 always has all page tables mapped. */
447 #define pte_offset_map(dir,address) pte_offset_kernel(dir,address)
448 #define pte_offset_map_nested(dir,address) pte_offset_kernel(dir,address)
449 #define pte_unmap(pte) /* NOP */
450 #define pte_unmap_nested(pte) /* NOP */ 
451
452 #define update_mmu_cache(vma,address,pte) do { } while (0)
453
454 /*
455  * Rules for using ptep_establish: the pte MUST be a user pte, and
456  * must be a present->present transition.
457  */
458 #define __HAVE_ARCH_PTEP_ESTABLISH
459 #define ptep_establish(vma, address, ptep, pteval)                      \
460         do {                                                            \
461                 if ( likely((vma)->vm_mm == current->mm) ) {            \
462                         BUG_ON(HYPERVISOR_update_va_mapping(address,    \
463                                 pteval,                                 \
464                                 (unsigned long)(vma)->vm_mm->cpu_vm_mask.bits| \
465                                         UVMF_INVLPG|UVMF_MULTI));       \
466                 } else {                                                \
467                         xen_l1_entry_update(ptep, pteval);              \
468                         flush_tlb_page(vma, address);                   \
469                 }                                                       \
470         } while (0)
471
472 /* We only update the dirty/accessed state if we set
473  * the dirty bit by hand in the kernel, since the hardware
474  * will do the accessed bit for us, and we don't want to
475  * race with other CPU's that might be updating the dirty
476  * bit at the same time. */
477 #define  __HAVE_ARCH_PTEP_SET_ACCESS_FLAGS
478 #define ptep_set_access_flags(vma, address, ptep, entry, dirty)         \
479 ({                                                                      \
480         int __changed = !pte_same(*(ptep), entry);                      \
481         if (__changed && (dirty))                                       \
482                 ptep_establish(vma, address, ptep, entry);              \
483         __changed;                                                      \
484 })
485
486 #define __HAVE_ARCH_PTEP_CLEAR_YOUNG_FLUSH
487 #define ptep_clear_flush_young(vma, address, ptep)                      \
488 ({                                                                      \
489         pte_t __pte = *(ptep);                                          \
490         int __young = pte_young(__pte);                                 \
491         __pte = pte_mkold(__pte);                                       \
492         if ((vma)->vm_mm->context.pinned)                               \
493                 (void)ptep_set_access_flags(vma, address, ptep, __pte, __young); \
494         else if (__young)                                               \
495                 set_pte(ptep, __pte);                                   \
496         __young;                                                        \
497 })
498
499 /* Encode and de-code a swap entry */
500 #define __swp_type(x)                   (((x).val >> 1) & 0x3f)
501 #define __swp_offset(x)                 ((x).val >> 8)
502 #define __swp_entry(type, offset)       ((swp_entry_t) { ((type) << 1) | ((offset) << 8) })
503 #define __pte_to_swp_entry(pte)         ((swp_entry_t) { __pte_val(pte) })
504 #define __swp_entry_to_pte(x)           ((pte_t) { (x).val })
505
506 extern spinlock_t pgd_lock;
507 extern struct list_head pgd_list;
508
509 extern int kern_addr_valid(unsigned long addr); 
510
511 #define DOMID_LOCAL (0xFFFFU)
512
513 struct vm_area_struct;
514
515 int direct_remap_pfn_range(struct vm_area_struct *vma,
516                             unsigned long address,
517                             unsigned long mfn,
518                             unsigned long size,
519                             pgprot_t prot,
520                             domid_t  domid);
521
522 int direct_kernel_remap_pfn_range(unsigned long address, 
523                                   unsigned long mfn,
524                                   unsigned long size, 
525                                   pgprot_t prot,
526                                   domid_t  domid);
527
528 int create_lookup_pte_addr(struct mm_struct *mm,
529                            unsigned long address,
530                            uint64_t *ptep);
531
532 int touch_pte_range(struct mm_struct *mm,
533                     unsigned long address,
534                     unsigned long size);
535
536 int xen_change_pte_range(struct mm_struct *mm, pmd_t *pmd,
537                 unsigned long addr, unsigned long end, pgprot_t newprot,
538                 int dirty_accountable);
539
540 #define arch_change_pte_range(mm, pmd, addr, end, newprot, dirty_accountable) \
541         xen_change_pte_range(mm, pmd, addr, end, newprot, dirty_accountable)
542
543 pte_t *lookup_address(unsigned long addr);
544
545 #define io_remap_pfn_range(vma, vaddr, pfn, size, prot)         \
546                 direct_remap_pfn_range(vma,vaddr,pfn,size,prot,DOMID_IO)
547
548 #define HAVE_ARCH_UNMAPPED_AREA
549 #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
550
551 #define pgtable_cache_init()   do { } while (0)
552 #define check_pgt_cache()      do { } while (0)
553
554 #define PAGE_AGP    PAGE_KERNEL_NOCACHE
555 #define HAVE_PAGE_AGP 1
556
557 /* fs/proc/kcore.c */
558 #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
559 #define kc_offset_to_vaddr(o) \
560    (((o) & (1UL << (__VIRTUAL_MASK_SHIFT-1))) ? ((o) | (~__VIRTUAL_MASK)) : (o))
561
562 #define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_YOUNG
563 #define __HAVE_ARCH_PTEP_GET_AND_CLEAR
564 #define __HAVE_ARCH_PTEP_GET_AND_CLEAR_FULL
565 #define __HAVE_ARCH_PTEP_CLEAR_FLUSH
566 #define __HAVE_ARCH_PTEP_SET_WRPROTECT
567 #define __HAVE_ARCH_PTE_SAME
568 #include <asm-generic/pgtable.h>
569 #endif /* !__ASSEMBLY__ */
570
571 #endif /* _X86_64_PGTABLE_H */