H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 1 | #ifndef _ASM_X86_PGTABLE_64_H |
| 2 | #define _ASM_X86_PGTABLE_64_H |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | |
Randy Dunlap | 6df95fd | 2007-05-08 00:31:11 -0700 | [diff] [blame] | 4 | #include <linux/const.h> |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 5 | #ifndef __ASSEMBLY__ |
| 6 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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> |
Jiri Slaby | 1977f03 | 2007-10-18 23:40:25 -0700 | [diff] [blame] | 12 | #include <linux/bitops.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 13 | #include <linux/threads.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | |
| 15 | extern pud_t level3_kernel_pgt[512]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | extern pud_t level3_ident_pgt[512]; |
| 17 | extern pmd_t level2_kernel_pgt[512]; |
Jeremy Fitzhardinge | 084a2a4 | 2008-07-08 15:06:50 -0700 | [diff] [blame] | 18 | extern pmd_t level2_fixmap_pgt[512]; |
| 19 | extern pmd_t level2_ident_pgt[512]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 20 | extern pgd_t init_level4_pgt[]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 21 | |
Linus Torvalds | e3ebadd | 2007-05-07 08:44:24 -0700 | [diff] [blame] | 22 | #define swapper_pg_dir init_level4_pgt |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 23 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 24 | extern void paging_init(void); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 25 | |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 26 | #endif /* !__ASSEMBLY__ */ |
| 27 | |
Jeremy Fitzhardinge | 85958b4 | 2008-03-17 16:37:14 -0700 | [diff] [blame] | 28 | #define SHARED_KERNEL_PMD 0 |
Ingo Molnar | e4b71dc | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 29 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | /* |
| 31 | * PGDIR_SHIFT determines what a top-level page table entry can map |
| 32 | */ |
| 33 | #define PGDIR_SHIFT 39 |
| 34 | #define PTRS_PER_PGD 512 |
| 35 | |
| 36 | /* |
| 37 | * 3rd level page |
| 38 | */ |
| 39 | #define PUD_SHIFT 30 |
| 40 | #define PTRS_PER_PUD 512 |
| 41 | |
| 42 | /* |
| 43 | * PMD_SHIFT determines the size of the area a middle-level |
| 44 | * page table can map |
| 45 | */ |
| 46 | #define PMD_SHIFT 21 |
| 47 | #define PTRS_PER_PMD 512 |
| 48 | |
| 49 | /* |
| 50 | * entries per page directory level |
| 51 | */ |
| 52 | #define PTRS_PER_PTE 512 |
| 53 | |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 54 | #ifndef __ASSEMBLY__ |
| 55 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 56 | #define pte_ERROR(e) \ |
| 57 | printk("%s:%d: bad pte %p(%016lx).\n", \ |
| 58 | __FILE__, __LINE__, &(e), pte_val(e)) |
| 59 | #define pmd_ERROR(e) \ |
| 60 | printk("%s:%d: bad pmd %p(%016lx).\n", \ |
| 61 | __FILE__, __LINE__, &(e), pmd_val(e)) |
| 62 | #define pud_ERROR(e) \ |
| 63 | printk("%s:%d: bad pud %p(%016lx).\n", \ |
| 64 | __FILE__, __LINE__, &(e), pud_val(e)) |
| 65 | #define pgd_ERROR(e) \ |
| 66 | printk("%s:%d: bad pgd %p(%016lx).\n", \ |
| 67 | __FILE__, __LINE__, &(e), pgd_val(e)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 68 | |
Tim Schmielau | 8c65b4a | 2005-11-07 00:59:43 -0800 | [diff] [blame] | 69 | struct mm_struct; |
| 70 | |
Eduardo Habkost | 0814e0b | 2008-06-25 00:19:22 -0400 | [diff] [blame] | 71 | void set_pte_vaddr_pud(pud_t *pud_page, unsigned long vaddr, pte_t new_pte); |
| 72 | |
| 73 | |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 74 | static inline void native_pte_clear(struct mm_struct *mm, unsigned long addr, |
| 75 | pte_t *ptep) |
Zachary Amsden | 61e0603 | 2005-09-03 15:55:06 -0700 | [diff] [blame] | 76 | { |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 77 | *ptep = native_make_pte(0); |
| 78 | } |
| 79 | |
| 80 | static inline void native_set_pte(pte_t *ptep, pte_t pte) |
| 81 | { |
| 82 | *ptep = pte; |
| 83 | } |
| 84 | |
Ingo Molnar | b65e639 | 2008-01-30 13:34:01 +0100 | [diff] [blame] | 85 | static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte) |
| 86 | { |
| 87 | native_set_pte(ptep, pte); |
| 88 | } |
| 89 | |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 90 | static inline pte_t native_ptep_get_and_clear(pte_t *xp) |
| 91 | { |
| 92 | #ifdef CONFIG_SMP |
| 93 | return native_make_pte(xchg(&xp->pte, 0)); |
| 94 | #else |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 95 | /* native_local_ptep_get_and_clear, |
| 96 | but duplicated because of cyclic dependency */ |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 97 | pte_t ret = *xp; |
| 98 | native_pte_clear(NULL, 0, xp); |
| 99 | return ret; |
| 100 | #endif |
| 101 | } |
| 102 | |
| 103 | static inline void native_set_pmd(pmd_t *pmdp, pmd_t pmd) |
| 104 | { |
| 105 | *pmdp = pmd; |
| 106 | } |
| 107 | |
| 108 | static inline void native_pmd_clear(pmd_t *pmd) |
| 109 | { |
| 110 | native_set_pmd(pmd, native_make_pmd(0)); |
| 111 | } |
| 112 | |
| 113 | static inline void native_set_pud(pud_t *pudp, pud_t pud) |
| 114 | { |
| 115 | *pudp = pud; |
| 116 | } |
| 117 | |
| 118 | static inline void native_pud_clear(pud_t *pud) |
| 119 | { |
| 120 | native_set_pud(pud, native_make_pud(0)); |
| 121 | } |
| 122 | |
| 123 | static inline void native_set_pgd(pgd_t *pgdp, pgd_t pgd) |
| 124 | { |
| 125 | *pgdp = pgd; |
| 126 | } |
| 127 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 128 | static inline void native_pgd_clear(pgd_t *pgd) |
Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 129 | { |
| 130 | native_set_pgd(pgd, native_make_pgd(0)); |
Zachary Amsden | 61e0603 | 2005-09-03 15:55:06 -0700 | [diff] [blame] | 131 | } |
| 132 | |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 133 | #endif /* !__ASSEMBLY__ */ |
| 134 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 135 | #define PMD_SIZE (_AC(1, UL) << PMD_SHIFT) |
| 136 | #define PMD_MASK (~(PMD_SIZE - 1)) |
| 137 | #define PUD_SIZE (_AC(1, UL) << PUD_SHIFT) |
| 138 | #define PUD_MASK (~(PUD_SIZE - 1)) |
| 139 | #define PGDIR_SIZE (_AC(1, UL) << PGDIR_SHIFT) |
| 140 | #define PGDIR_MASK (~(PGDIR_SIZE - 1)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 141 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 142 | |
Ingo Molnar | b6fd6f2 | 2008-12-16 19:23:36 +0100 | [diff] [blame] | 143 | #define MAXMEM _AC(__AC(1, UL) << MAX_PHYSMEM_BITS, UL) |
Randy Dunlap | 63f6564 | 2007-05-08 00:31:14 -0700 | [diff] [blame] | 144 | #define VMALLOC_START _AC(0xffffc20000000000, UL) |
| 145 | #define VMALLOC_END _AC(0xffffe1ffffffffff, UL) |
Christoph Lameter | 0889eba | 2007-10-16 01:24:15 -0700 | [diff] [blame] | 146 | #define VMEMMAP_START _AC(0xffffe20000000000, UL) |
Ingo Molnar | 85eb69a | 2008-02-21 12:50:51 +0100 | [diff] [blame] | 147 | #define MODULES_VADDR _AC(0xffffffffa0000000, UL) |
Jan Beulich | 66d4bdf | 2008-07-31 16:48:31 +0100 | [diff] [blame] | 148 | #define MODULES_END _AC(0xffffffffff000000, UL) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 149 | #define MODULES_LEN (MODULES_END - MODULES_VADDR) |
| 150 | |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 151 | #ifndef __ASSEMBLY__ |
| 152 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 153 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 154 | * Conversion functions: convert a page and protection to a page entry, |
| 155 | * and a page entry and page directory to the page they refer to. |
| 156 | */ |
| 157 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 158 | /* |
| 159 | * Level 4 access. |
| 160 | */ |
H. Peter Anvin | e00fc542 | 2008-02-19 16:18:32 +0100 | [diff] [blame] | 161 | static inline int pgd_large(pgd_t pgd) { return 0; } |
Eduardo Habkost | e7a9b0b | 2008-06-25 00:19:05 -0400 | [diff] [blame] | 162 | #define mk_kernel_pgd(address) __pgd((address) | _KERNPG_TABLE) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 163 | |
| 164 | /* PUD - Level3 access */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 165 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 | /* PMD - Level 2 access */ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 167 | #define pte_to_pgoff(pte) ((pte_val((pte)) & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT) |
| 168 | #define pgoff_to_pte(off) ((pte_t) { .pte = ((off) << PAGE_SHIFT) | \ |
| 169 | _PAGE_FILE }) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 170 | #define PTE_FILE_MAX_BITS __PHYSICAL_MASK_SHIFT |
| 171 | |
| 172 | /* PTE - Level 1 access. */ |
| 173 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 174 | /* x86-64 always has all page tables mapped. */ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 175 | #define pte_offset_map(dir, address) pte_offset_kernel((dir), (address)) |
| 176 | #define pte_offset_map_nested(dir, address) pte_offset_kernel((dir), (address)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 177 | #define pte_unmap(pte) /* NOP */ |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 178 | #define pte_unmap_nested(pte) /* NOP */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 179 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 180 | #define update_mmu_cache(vma, address, pte) do { } while (0) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 181 | |
Ingo Molnar | 00d1c5e | 2008-04-17 17:40:45 +0200 | [diff] [blame] | 182 | extern int direct_gbpages; |
| 183 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 184 | /* Encode and de-code a swap entry */ |
Jan Beulich | 1796316 | 2008-12-16 11:35:24 +0000 | [diff] [blame] | 185 | #if _PAGE_BIT_FILE < _PAGE_BIT_PROTNONE |
| 186 | #define SWP_TYPE_BITS (_PAGE_BIT_FILE - _PAGE_BIT_PRESENT - 1) |
| 187 | #define SWP_OFFSET_SHIFT (_PAGE_BIT_PROTNONE + 1) |
| 188 | #else |
| 189 | #define SWP_TYPE_BITS (_PAGE_BIT_PROTNONE - _PAGE_BIT_PRESENT - 1) |
| 190 | #define SWP_OFFSET_SHIFT (_PAGE_BIT_FILE + 1) |
| 191 | #endif |
| 192 | |
| 193 | #define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > SWP_TYPE_BITS) |
| 194 | |
| 195 | #define __swp_type(x) (((x).val >> (_PAGE_BIT_PRESENT + 1)) \ |
| 196 | & ((1U << SWP_TYPE_BITS) - 1)) |
| 197 | #define __swp_offset(x) ((x).val >> SWP_OFFSET_SHIFT) |
| 198 | #define __swp_entry(type, offset) ((swp_entry_t) { \ |
| 199 | ((type) << (_PAGE_BIT_PRESENT + 1)) \ |
| 200 | | ((offset) << SWP_OFFSET_SHIFT) }) |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 201 | #define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val((pte)) }) |
Jeremy Fitzhardinge | c8e5393 | 2008-01-30 13:32:57 +0100 | [diff] [blame] | 202 | #define __swp_entry_to_pte(x) ((pte_t) { .pte = (x).val }) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 203 | |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 204 | extern int kern_addr_valid(unsigned long addr); |
Thomas Gleixner | 31eedd8 | 2008-02-15 17:29:12 +0100 | [diff] [blame] | 205 | extern void cleanup_highmap(void); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 206 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 207 | #define HAVE_ARCH_UNMAPPED_AREA |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 208 | #define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 209 | |
| 210 | #define pgtable_cache_init() do { } while (0) |
Linus Torvalds | da8f153 | 2007-09-21 12:09:41 -0700 | [diff] [blame] | 211 | #define check_pgt_cache() do { } while (0) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 212 | |
| 213 | #define PAGE_AGP PAGE_KERNEL_NOCACHE |
| 214 | #define HAVE_PAGE_AGP 1 |
| 215 | |
| 216 | /* fs/proc/kcore.c */ |
| 217 | #define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK) |
Joe Perches | 7f94401 | 2008-03-23 01:03:11 -0700 | [diff] [blame] | 218 | #define kc_offset_to_vaddr(o) \ |
| 219 | (((o) & (1UL << (__VIRTUAL_MASK_SHIFT - 1))) \ |
| 220 | ? ((o) | ~__VIRTUAL_MASK) \ |
| 221 | : (o)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 222 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 223 | #define __HAVE_ARCH_PTE_SAME |
Vivek Goyal | 9d291e7 | 2007-05-02 19:27:06 +0200 | [diff] [blame] | 224 | #endif /* !__ASSEMBLY__ */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 225 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 226 | #endif /* _ASM_X86_PGTABLE_64_H */ |