1 #ifndef _ASM_X86_PGTABLE_64_H
2 #define _ASM_X86_PGTABLE_64_H
4 #include <linux/const.h>
5 #include <asm/pgtable_64_types.h>
10 * This file contains the functions and defines necessary to modify and use
11 * the x86-64 page table tree.
13 #include <asm/processor.h>
14 #include <linux/bitops.h>
15 #include <linux/threads.h>
16 #include <linux/sched.h>
19 extern pud_t level3_user_pgt[512];
21 extern void xen_init_pt(void);
22 extern void xen_switch_pt(void);
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[];
32 #define swapper_pg_dir init_level4_pgt
34 extern void paging_init(void);
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)
53 void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte);
56 #define __xen_pte_clear(ptep) xen_set_pte(ptep, __pte(0))
58 static inline void xen_set_pte(pte_t *ptep, pte_t pte)
63 static inline void xen_set_pte_atomic(pte_t *ptep, pte_t pte)
65 xen_set_pte(ptep, pte);
69 static inline pte_t xen_ptep_get_and_clear(pte_t *xp, pte_t ret)
71 return __pte_ma(xchg(&xp->pte, 0));
74 #define xen_ptep_get_and_clear(xp, pte) xen_local_ptep_get_and_clear(xp, pte)
77 static inline void xen_set_pmd(pmd_t *pmdp, pmd_t pmd)
79 xen_l2_entry_update(pmdp, pmd);
82 #define xen_pmd_clear(pmd) \
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)); \
90 static inline void xen_set_pud(pud_t *pudp, pud_t pud)
92 xen_l3_entry_update(pudp, pud);
95 #define xen_pud_clear(pud) \
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)); \
103 static inline pgd_t *__user_pgd(pgd_t *pgd)
105 if (unlikely(((unsigned long)pgd & PAGE_MASK)
106 == (unsigned long)init_level4_pgt))
108 return (pgd_t *)(virt_to_page(pgd)->index
109 + ((unsigned long)pgd & ~PAGE_MASK));
112 static inline void xen_set_pgd(pgd_t *pgdp, pgd_t pgd)
114 xen_l4_entry_update(pgdp, pgd);
117 #define xen_pgd_clear(pgd) \
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)); \
125 #define __pte_mfn(_pte) (((_pte).pte & PTE_PFN_MASK) >> PAGE_SHIFT)
127 extern unsigned long early_arbitrary_virt_to_mfn(void *va);
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.
137 static inline int pgd_large(pgd_t pgd) { return 0; }
138 #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE)
140 /* PUD - Level3 access */
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) | \
146 #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT
148 /* PTE - Level 1 access. */
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 */
156 #define update_mmu_cache(vma, address, ptep) do { } while (0)
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)
163 #define SWP_TYPE_BITS (_PAGE_BIT_PROTNONE - _PAGE_BIT_PRESENT - 1)
164 #define SWP_OFFSET_SHIFT (_PAGE_BIT_FILE + 1)
167 #define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS)
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 })
178 extern int kern_addr_valid(unsigned long addr);
179 extern void cleanup_highmap(void);
181 #define HAVE_ARCH_UNMAPPED_AREA
182 #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
184 #define pgtable_cache_init() do { } while (0)
185 #define check_pgt_cache() do { } while (0)
187 #define PAGE_AGP PAGE_KERNEL_NOCACHE
188 #define HAVE_PAGE_AGP 1
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)
194 #define __HAVE_ARCH_PTE_SAME
195 #endif /* !__ASSEMBLY__ */
197 #endif /* _ASM_X86_PGTABLE_64_H */