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_pmd(pmd_t *pmdp, pmd_t pmd)
65 xen_l2_entry_update(pmdp, pmd);
68 #define xen_pmd_clear(pmd) \
70 pmd_t *__pmdp = (pmd); \
71 PagePinned(virt_to_page(__pmdp)) \
72 ? set_pmd(__pmdp, xen_make_pmd(0)) \
73 : (void)(*__pmdp = xen_make_pmd(0)); \
77 static inline pte_t xen_ptep_get_and_clear(pte_t *xp, pte_t ret)
79 return __pte_ma(xchg(&xp->pte, 0));
82 #define xen_ptep_get_and_clear(xp, pte) xen_local_ptep_get_and_clear(xp, pte)
85 #ifdef CONFIG_TRANSPARENT_HUGEPAGE
87 static inline pmd_t xen_pmdp_get_and_clear(pmd_t *xp)
89 return xen_make_pmd(xchg(&xp->pmd, 0));
92 #define xen_pmdp_get_and_clear(xp) xen_local_pmdp_get_and_clear(xp)
96 static inline void xen_set_pud(pud_t *pudp, pud_t pud)
98 xen_l3_entry_update(pudp, pud);
101 #define xen_pud_clear(pud) \
103 pud_t *__pudp = (pud); \
104 PagePinned(virt_to_page(__pudp)) \
105 ? set_pud(__pudp, xen_make_pud(0)) \
106 : (void)(*__pudp = xen_make_pud(0)); \
109 static inline pgd_t *__user_pgd(pgd_t *pgd)
111 if (unlikely(((unsigned long)pgd & PAGE_MASK)
112 == (unsigned long)init_level4_pgt))
114 return (pgd_t *)(virt_to_page(pgd)->private
115 + ((unsigned long)pgd & ~PAGE_MASK));
118 static inline void xen_set_pgd(pgd_t *pgdp, pgd_t pgd)
120 xen_l4_entry_update(pgdp, pgd);
123 #define xen_pgd_clear(pgd) \
125 pgd_t *__pgdp = (pgd); \
126 PagePinned(virt_to_page(__pgdp)) \
127 ? xen_l4_entry_update(__pgdp, xen_make_pgd(0)) \
128 : (void)(*__user_pgd(__pgdp) = *__pgdp = xen_make_pgd(0)); \
131 #define __pte_mfn(_pte) (((_pte).pte & PTE_PFN_MASK) >> PAGE_SHIFT)
133 extern unsigned long early_arbitrary_virt_to_mfn(void *va);
135 extern void sync_global_pgds(unsigned long start, unsigned long end);
138 * Conversion functions: convert a page and protection to a page entry,
139 * and a page entry and page directory to the page they refer to.
145 static inline int pgd_large(pgd_t pgd) { return 0; }
146 #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE)
148 /* PUD - Level3 access */
150 /* PMD - Level 2 access */
151 #define pte_to_pgoff(pte) ((__pte_val(pte) & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT)
152 #define pgoff_to_pte(off) ((pte_t) { .pte = ((off) << PAGE_SHIFT) | \
154 #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT
156 /* PTE - Level 1 access. */
158 /* x86-64 always has all page tables mapped. */
159 #define pte_offset_map(dir, address) pte_offset_kernel((dir), (address))
160 #define pte_unmap(pte) ((void)(pte))/* NOP */
162 #define update_mmu_cache(vma, address, ptep) do { } while (0)
164 /* Encode and de-code a swap entry */
165 #if _PAGE_BIT_FILE < _PAGE_BIT_PROTNONE
166 #define SWP_TYPE_BITS (_PAGE_BIT_FILE - _PAGE_BIT_PRESENT - 1)
167 #define SWP_OFFSET_SHIFT (_PAGE_BIT_PROTNONE + 1)
169 #define SWP_TYPE_BITS (_PAGE_BIT_PROTNONE - _PAGE_BIT_PRESENT - 1)
170 #define SWP_OFFSET_SHIFT (_PAGE_BIT_FILE + 1)
173 #define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS)
175 #define __swp_type(x) (((x).val >> (_PAGE_BIT_PRESENT + 1)) \
176 & ((1U << SWP_TYPE_BITS) - 1))
177 #define __swp_offset(x) ((x).val >> SWP_OFFSET_SHIFT)
178 #define __swp_entry(type, offset) ((swp_entry_t) { \
179 ((type) << (_PAGE_BIT_PRESENT + 1)) \
180 | ((offset) << SWP_OFFSET_SHIFT) })
181 #define __pte_to_swp_entry(pte) ((swp_entry_t) { __pte_val(pte) })
182 #define __swp_entry_to_pte(x) ((pte_t) { .pte = (x).val })
184 extern int kern_addr_valid(unsigned long addr);
186 #define HAVE_ARCH_UNMAPPED_AREA
187 #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
189 #define pgtable_cache_init() do { } while (0)
190 #define check_pgt_cache() do { } while (0)
192 #define PAGE_AGP PAGE_KERNEL_NOCACHE
193 #define HAVE_PAGE_AGP 1
195 /* fs/proc/kcore.c */
196 #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
197 #define kc_offset_to_vaddr(o) ((o) | ~__VIRTUAL_MASK)
199 #define __HAVE_ARCH_PTE_SAME
201 #endif /* !__ASSEMBLY__ */
203 #endif /* _ASM_X86_PGTABLE_64_H */