[PATCH] x86-64: Assembly safe page.h and pgtable.h
[powerpc.git] / include / asm-x86_64 / pgtable.h
1 #ifndef _X86_64_PGTABLE_H
2 #define _X86_64_PGTABLE_H
3
4 #include <asm/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 <asm/bitops.h>
13 #include <linux/threads.h>
14 #include <asm/pda.h>
15
16 extern pud_t level3_kernel_pgt[512];
17 extern pud_t level3_physmem_pgt[512];
18 extern pud_t level3_ident_pgt[512];
19 extern pmd_t level2_kernel_pgt[512];
20 extern pgd_t init_level4_pgt[];
21 extern pgd_t boot_level4_pgt[];
22 extern unsigned long __supported_pte_mask;
23
24 #define swapper_pg_dir init_level4_pgt
25
26 extern void paging_init(void);
27 extern void clear_kernel_mapping(unsigned long addr, unsigned long size);
28
29 /*
30  * ZERO_PAGE is a global shared page that is always zero: used
31  * for zero-mapped memory areas etc..
32  */
33 extern unsigned long empty_zero_page[PAGE_SIZE/sizeof(unsigned long)];
34 #define ZERO_PAGE(vaddr) (virt_to_page(empty_zero_page))
35
36 #endif /* !__ASSEMBLY__ */
37
38 /*
39  * PGDIR_SHIFT determines what a top-level page table entry can map
40  */
41 #define PGDIR_SHIFT     39
42 #define PTRS_PER_PGD    512
43
44 /*
45  * 3rd level page
46  */
47 #define PUD_SHIFT       30
48 #define PTRS_PER_PUD    512
49
50 /*
51  * PMD_SHIFT determines the size of the area a middle-level
52  * page table can map
53  */
54 #define PMD_SHIFT       21
55 #define PTRS_PER_PMD    512
56
57 /*
58  * entries per page directory level
59  */
60 #define PTRS_PER_PTE    512
61
62 #ifndef __ASSEMBLY__
63
64 #define pte_ERROR(e) \
65         printk("%s:%d: bad pte %p(%016lx).\n", __FILE__, __LINE__, &(e), pte_val(e))
66 #define pmd_ERROR(e) \
67         printk("%s:%d: bad pmd %p(%016lx).\n", __FILE__, __LINE__, &(e), pmd_val(e))
68 #define pud_ERROR(e) \
69         printk("%s:%d: bad pud %p(%016lx).\n", __FILE__, __LINE__, &(e), pud_val(e))
70 #define pgd_ERROR(e) \
71         printk("%s:%d: bad pgd %p(%016lx).\n", __FILE__, __LINE__, &(e), pgd_val(e))
72
73 #define pgd_none(x)     (!pgd_val(x))
74 #define pud_none(x)     (!pud_val(x))
75
76 static inline void set_pte(pte_t *dst, pte_t val)
77 {
78         pte_val(*dst) = pte_val(val);
79
80 #define set_pte_at(mm,addr,ptep,pteval) set_pte(ptep,pteval)
81
82 static inline void set_pmd(pmd_t *dst, pmd_t val)
83 {
84         pmd_val(*dst) = pmd_val(val); 
85
86
87 static inline void set_pud(pud_t *dst, pud_t val)
88 {
89         pud_val(*dst) = pud_val(val);
90 }
91
92 static inline void pud_clear (pud_t *pud)
93 {
94         set_pud(pud, __pud(0));
95 }
96
97 static inline void set_pgd(pgd_t *dst, pgd_t val)
98 {
99         pgd_val(*dst) = pgd_val(val); 
100
101
102 static inline void pgd_clear (pgd_t * pgd)
103 {
104         set_pgd(pgd, __pgd(0));
105 }
106
107 #define ptep_get_and_clear(mm,addr,xp)  __pte(xchg(&(xp)->pte, 0))
108
109 struct mm_struct;
110
111 static inline pte_t ptep_get_and_clear_full(struct mm_struct *mm, unsigned long addr, pte_t *ptep, int full)
112 {
113         pte_t pte;
114         if (full) {
115                 pte = *ptep;
116                 *ptep = __pte(0);
117         } else {
118                 pte = ptep_get_and_clear(mm, addr, ptep);
119         }
120         return pte;
121 }
122
123 #define pte_same(a, b)          ((a).pte == (b).pte)
124
125 #define pte_pgprot(a)   (__pgprot((a).pte & ~PHYSICAL_PAGE_MASK))
126
127 #endif /* !__ASSEMBLY__ */
128
129 #define PMD_SIZE        (_AC(1,UL) << PMD_SHIFT)
130 #define PMD_MASK        (~(PMD_SIZE-1))
131 #define PUD_SIZE        (_AC(1,UL) << PUD_SHIFT)
132 #define PUD_MASK        (~(PUD_SIZE-1))
133 #define PGDIR_SIZE      (_AC(1,UL) << PGDIR_SHIFT)
134 #define PGDIR_MASK      (~(PGDIR_SIZE-1))
135
136 #define USER_PTRS_PER_PGD       ((TASK_SIZE-1)/PGDIR_SIZE+1)
137 #define FIRST_USER_ADDRESS      0
138
139 #define MAXMEM           0x3fffffffffff
140 #define VMALLOC_START    0xffffc20000000000
141 #define VMALLOC_END      0xffffe1ffffffffff
142 #define MODULES_VADDR    0xffffffff88000000
143 #define MODULES_END      0xfffffffffff00000
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 #define _PAGE_TABLE     (_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED | _PAGE_DIRTY)
172 #define _KERNPG_TABLE   (_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED | _PAGE_DIRTY)
173
174 #define _PAGE_CHG_MASK  (PTE_MASK | _PAGE_ACCESSED | _PAGE_DIRTY)
175
176 #define PAGE_NONE       __pgprot(_PAGE_PROTNONE | _PAGE_ACCESSED)
177 #define PAGE_SHARED     __pgprot(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
178 #define PAGE_SHARED_EXEC __pgprot(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | _PAGE_ACCESSED)
179 #define PAGE_COPY_NOEXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
180 #define PAGE_COPY PAGE_COPY_NOEXEC
181 #define PAGE_COPY_EXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
182 #define PAGE_READONLY   __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_NX)
183 #define PAGE_READONLY_EXEC __pgprot(_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
184 #define __PAGE_KERNEL \
185         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_ACCESSED | _PAGE_NX)
186 #define __PAGE_KERNEL_EXEC \
187         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_ACCESSED)
188 #define __PAGE_KERNEL_NOCACHE \
189         (_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_PCD | _PAGE_ACCESSED | _PAGE_NX)
190 #define __PAGE_KERNEL_RO \
191         (_PAGE_PRESENT | _PAGE_DIRTY | _PAGE_ACCESSED | _PAGE_NX)
192 #define __PAGE_KERNEL_VSYSCALL \
193         (_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED)
194 #define __PAGE_KERNEL_VSYSCALL_NOCACHE \
195         (_PAGE_PRESENT | _PAGE_USER | _PAGE_ACCESSED | _PAGE_PCD)
196 #define __PAGE_KERNEL_LARGE \
197         (__PAGE_KERNEL | _PAGE_PSE)
198 #define __PAGE_KERNEL_LARGE_EXEC \
199         (__PAGE_KERNEL_EXEC | _PAGE_PSE)
200
201 #define MAKE_GLOBAL(x) __pgprot((x) | _PAGE_GLOBAL)
202
203 #define PAGE_KERNEL MAKE_GLOBAL(__PAGE_KERNEL)
204 #define PAGE_KERNEL_EXEC MAKE_GLOBAL(__PAGE_KERNEL_EXEC)
205 #define PAGE_KERNEL_RO MAKE_GLOBAL(__PAGE_KERNEL_RO)
206 #define PAGE_KERNEL_NOCACHE MAKE_GLOBAL(__PAGE_KERNEL_NOCACHE)
207 #define PAGE_KERNEL_VSYSCALL32 __pgprot(__PAGE_KERNEL_VSYSCALL)
208 #define PAGE_KERNEL_VSYSCALL MAKE_GLOBAL(__PAGE_KERNEL_VSYSCALL)
209 #define PAGE_KERNEL_LARGE MAKE_GLOBAL(__PAGE_KERNEL_LARGE)
210 #define PAGE_KERNEL_VSYSCALL_NOCACHE MAKE_GLOBAL(__PAGE_KERNEL_VSYSCALL_NOCACHE)
211
212 /*         xwr */
213 #define __P000  PAGE_NONE
214 #define __P001  PAGE_READONLY
215 #define __P010  PAGE_COPY
216 #define __P011  PAGE_COPY
217 #define __P100  PAGE_READONLY_EXEC
218 #define __P101  PAGE_READONLY_EXEC
219 #define __P110  PAGE_COPY_EXEC
220 #define __P111  PAGE_COPY_EXEC
221
222 #define __S000  PAGE_NONE
223 #define __S001  PAGE_READONLY
224 #define __S010  PAGE_SHARED
225 #define __S011  PAGE_SHARED
226 #define __S100  PAGE_READONLY_EXEC
227 #define __S101  PAGE_READONLY_EXEC
228 #define __S110  PAGE_SHARED_EXEC
229 #define __S111  PAGE_SHARED_EXEC
230
231 #ifndef __ASSEMBLY__
232
233 static inline unsigned long pgd_bad(pgd_t pgd)
234 {
235         return pgd_val(pgd) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
236 }
237
238 static inline unsigned long pud_bad(pud_t pud)
239 {
240         return pud_val(pud) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
241 }
242
243 static inline unsigned long pmd_bad(pmd_t pmd)
244 {
245         return pmd_val(pmd) & ~(PTE_MASK | _KERNPG_TABLE | _PAGE_USER);
246 }
247
248 #define pte_none(x)     (!pte_val(x))
249 #define pte_present(x)  (pte_val(x) & (_PAGE_PRESENT | _PAGE_PROTNONE))
250 #define pte_clear(mm,addr,xp)   do { set_pte_at(mm, addr, xp, __pte(0)); } while (0)
251
252 #define pages_to_mb(x) ((x) >> (20-PAGE_SHIFT)) /* FIXME: is this
253                                                    right? */
254 #define pte_page(x)     pfn_to_page(pte_pfn(x))
255 #define pte_pfn(x)  ((pte_val(x) & __PHYSICAL_MASK) >> PAGE_SHIFT)
256
257 static inline pte_t pfn_pte(unsigned long page_nr, pgprot_t pgprot)
258 {
259         pte_t pte;
260         pte_val(pte) = (page_nr << PAGE_SHIFT);
261         pte_val(pte) |= pgprot_val(pgprot);
262         pte_val(pte) &= __supported_pte_mask;
263         return pte;
264 }
265
266 /*
267  * The following only work if pte_present() is true.
268  * Undefined behaviour if not..
269  */
270 #define __LARGE_PTE (_PAGE_PSE|_PAGE_PRESENT)
271 static inline int pte_user(pte_t pte)           { return pte_val(pte) & _PAGE_USER; }
272 static inline int pte_read(pte_t pte)           { return pte_val(pte) & _PAGE_USER; }
273 static inline int pte_exec(pte_t pte)           { return !(pte_val(pte) & _PAGE_NX); }
274 static inline int pte_dirty(pte_t pte)          { return pte_val(pte) & _PAGE_DIRTY; }
275 static inline int pte_young(pte_t pte)          { return pte_val(pte) & _PAGE_ACCESSED; }
276 static inline int pte_write(pte_t pte)          { return pte_val(pte) & _PAGE_RW; }
277 static inline int pte_file(pte_t pte)           { return pte_val(pte) & _PAGE_FILE; }
278 static inline int pte_huge(pte_t pte)           { return pte_val(pte) & _PAGE_PSE; }
279
280 static inline pte_t pte_rdprotect(pte_t pte)    { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_USER)); return pte; }
281 static inline pte_t pte_exprotect(pte_t pte)    { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_USER)); return pte; }
282 static inline pte_t pte_mkclean(pte_t pte)      { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_DIRTY)); return pte; }
283 static inline pte_t pte_mkold(pte_t pte)        { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_ACCESSED)); return pte; }
284 static inline pte_t pte_wrprotect(pte_t pte)    { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_RW)); return pte; }
285 static inline pte_t pte_mkread(pte_t pte)       { set_pte(&pte, __pte(pte_val(pte) | _PAGE_USER)); return pte; }
286 static inline pte_t pte_mkexec(pte_t pte)       { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_NX)); return pte; }
287 static inline pte_t pte_mkdirty(pte_t pte)      { set_pte(&pte, __pte(pte_val(pte) | _PAGE_DIRTY)); return pte; }
288 static inline pte_t pte_mkyoung(pte_t pte)      { set_pte(&pte, __pte(pte_val(pte) | _PAGE_ACCESSED)); return pte; }
289 static inline pte_t pte_mkwrite(pte_t pte)      { set_pte(&pte, __pte(pte_val(pte) | _PAGE_RW)); return pte; }
290 static inline pte_t pte_mkhuge(pte_t pte)       { set_pte(&pte, __pte(pte_val(pte) | _PAGE_PSE)); return pte; }
291 static inline pte_t pte_clrhuge(pte_t pte)      { set_pte(&pte, __pte(pte_val(pte) & ~_PAGE_PSE)); return pte; }
292
293 struct vm_area_struct;
294
295 static inline int ptep_test_and_clear_dirty(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep)
296 {
297         if (!pte_dirty(*ptep))
298                 return 0;
299         return test_and_clear_bit(_PAGE_BIT_DIRTY, &ptep->pte);
300 }
301
302 static inline int ptep_test_and_clear_young(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep)
303 {
304         if (!pte_young(*ptep))
305                 return 0;
306         return test_and_clear_bit(_PAGE_BIT_ACCESSED, &ptep->pte);
307 }
308
309 static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long addr, pte_t *ptep)
310 {
311         clear_bit(_PAGE_BIT_RW, &ptep->pte);
312 }
313
314 /*
315  * Macro to mark a page protection value as "uncacheable".
316  */
317 #define pgprot_noncached(prot)  (__pgprot(pgprot_val(prot) | _PAGE_PCD | _PAGE_PWT))
318
319 static inline int pmd_large(pmd_t pte) { 
320         return (pmd_val(pte) & __LARGE_PTE) == __LARGE_PTE; 
321 }       
322
323
324 /*
325  * Conversion functions: convert a page and protection to a page entry,
326  * and a page entry and page directory to the page they refer to.
327  */
328
329 /*
330  * Level 4 access.
331  */
332 #define pgd_page_vaddr(pgd) ((unsigned long) __va((unsigned long)pgd_val(pgd) & PTE_MASK))
333 #define pgd_page(pgd)           (pfn_to_page(pgd_val(pgd) >> PAGE_SHIFT))
334 #define pgd_index(address) (((address) >> PGDIR_SHIFT) & (PTRS_PER_PGD-1))
335 #define pgd_offset(mm, addr) ((mm)->pgd + pgd_index(addr))
336 #define pgd_offset_k(address) (init_level4_pgt + pgd_index(address))
337 #define pgd_present(pgd) (pgd_val(pgd) & _PAGE_PRESENT)
338 #define mk_kernel_pgd(address) ((pgd_t){ (address) | _KERNPG_TABLE })
339
340 /* PUD - Level3 access */
341 /* to find an entry in a page-table-directory. */
342 #define pud_page_vaddr(pud) ((unsigned long) __va(pud_val(pud) & PHYSICAL_PAGE_MASK))
343 #define pud_page(pud)           (pfn_to_page(pud_val(pud) >> PAGE_SHIFT))
344 #define pud_index(address) (((address) >> PUD_SHIFT) & (PTRS_PER_PUD-1))
345 #define pud_offset(pgd, address) ((pud_t *) pgd_page_vaddr(*(pgd)) + pud_index(address))
346 #define pud_present(pud) (pud_val(pud) & _PAGE_PRESENT)
347
348 /* PMD  - Level 2 access */
349 #define pmd_page_vaddr(pmd) ((unsigned long) __va(pmd_val(pmd) & PTE_MASK))
350 #define pmd_page(pmd)           (pfn_to_page(pmd_val(pmd) >> PAGE_SHIFT))
351
352 #define pmd_index(address) (((address) >> PMD_SHIFT) & (PTRS_PER_PMD-1))
353 #define pmd_offset(dir, address) ((pmd_t *) pud_page_vaddr(*(dir)) + \
354                         pmd_index(address))
355 #define pmd_none(x)     (!pmd_val(x))
356 #define pmd_present(x)  (pmd_val(x) & _PAGE_PRESENT)
357 #define pmd_clear(xp)   do { set_pmd(xp, __pmd(0)); } while (0)
358 #define pfn_pmd(nr,prot) (__pmd(((nr) << PAGE_SHIFT) | pgprot_val(prot)))
359 #define pmd_pfn(x)  ((pmd_val(x) & __PHYSICAL_MASK) >> PAGE_SHIFT)
360
361 #define pte_to_pgoff(pte) ((pte_val(pte) & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT)
362 #define pgoff_to_pte(off) ((pte_t) { ((off) << PAGE_SHIFT) | _PAGE_FILE })
363 #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT
364
365 /* PTE - Level 1 access. */
366
367 /* page, protection -> pte */
368 #define mk_pte(page, pgprot)    pfn_pte(page_to_pfn(page), (pgprot))
369 #define mk_pte_huge(entry) (pte_val(entry) |= _PAGE_PRESENT | _PAGE_PSE)
370  
371 /* Change flags of a PTE */
372 static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
373
374         pte_val(pte) &= _PAGE_CHG_MASK;
375         pte_val(pte) |= pgprot_val(newprot);
376         pte_val(pte) &= __supported_pte_mask;
377        return pte; 
378 }
379
380 #define pte_index(address) \
381                 (((address) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))
382 #define pte_offset_kernel(dir, address) ((pte_t *) pmd_page_vaddr(*(dir)) + \
383                         pte_index(address))
384
385 /* x86-64 always has all page tables mapped. */
386 #define pte_offset_map(dir,address) pte_offset_kernel(dir,address)
387 #define pte_offset_map_nested(dir,address) pte_offset_kernel(dir,address)
388 #define pte_unmap(pte) /* NOP */
389 #define pte_unmap_nested(pte) /* NOP */ 
390
391 #define update_mmu_cache(vma,address,pte) do { } while (0)
392
393 /* We only update the dirty/accessed state if we set
394  * the dirty bit by hand in the kernel, since the hardware
395  * will do the accessed bit for us, and we don't want to
396  * race with other CPU's that might be updating the dirty
397  * bit at the same time. */
398 #define  __HAVE_ARCH_PTEP_SET_ACCESS_FLAGS
399 #define ptep_set_access_flags(__vma, __address, __ptep, __entry, __dirty) \
400         do {                                                              \
401                 if (__dirty) {                                            \
402                         set_pte(__ptep, __entry);                         \
403                         flush_tlb_page(__vma, __address);                 \
404                 }                                                         \
405         } while (0)
406
407 /* Encode and de-code a swap entry */
408 #define __swp_type(x)                   (((x).val >> 1) & 0x3f)
409 #define __swp_offset(x)                 ((x).val >> 8)
410 #define __swp_entry(type, offset)       ((swp_entry_t) { ((type) << 1) | ((offset) << 8) })
411 #define __pte_to_swp_entry(pte)         ((swp_entry_t) { pte_val(pte) })
412 #define __swp_entry_to_pte(x)           ((pte_t) { (x).val })
413
414 extern spinlock_t pgd_lock;
415 extern struct page *pgd_list;
416 void vmalloc_sync_all(void);
417
418 extern int kern_addr_valid(unsigned long addr); 
419
420 #define io_remap_pfn_range(vma, vaddr, pfn, size, prot)         \
421                 remap_pfn_range(vma, vaddr, pfn, size, prot)
422
423 #define MK_IOSPACE_PFN(space, pfn)      (pfn)
424 #define GET_IOSPACE(pfn)                0
425 #define GET_PFN(pfn)                    (pfn)
426
427 #define HAVE_ARCH_UNMAPPED_AREA
428
429 #define pgtable_cache_init()   do { } while (0)
430 #define check_pgt_cache()      do { } while (0)
431
432 #define PAGE_AGP    PAGE_KERNEL_NOCACHE
433 #define HAVE_PAGE_AGP 1
434
435 /* fs/proc/kcore.c */
436 #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
437 #define kc_offset_to_vaddr(o) \
438    (((o) & (1UL << (__VIRTUAL_MASK_SHIFT-1))) ? ((o) | (~__VIRTUAL_MASK)) : (o))
439
440 #define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_YOUNG
441 #define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_DIRTY
442 #define __HAVE_ARCH_PTEP_GET_AND_CLEAR
443 #define __HAVE_ARCH_PTEP_GET_AND_CLEAR_FULL
444 #define __HAVE_ARCH_PTEP_SET_WRPROTECT
445 #define __HAVE_ARCH_PTE_SAME
446 #include <asm-generic/pgtable.h>
447 #endif /* !__ASSEMBLY__ */
448
449 #endif /* _X86_64_PGTABLE_H */