| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 1 | #ifndef _ASM_X86_PGTABLE_H | 
 | 2 | #define _ASM_X86_PGTABLE_H | 
 | 3 |  | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 4 | #define FIRST_USER_ADDRESS	0 | 
 | 5 |  | 
| Jiri Slaby | 43cdf5d | 2008-03-22 18:50:22 +0100 | [diff] [blame] | 6 | #define _PAGE_BIT_PRESENT	0	/* is present */ | 
 | 7 | #define _PAGE_BIT_RW		1	/* writeable */ | 
 | 8 | #define _PAGE_BIT_USER		2	/* userspace addressable */ | 
 | 9 | #define _PAGE_BIT_PWT		3	/* page write through */ | 
 | 10 | #define _PAGE_BIT_PCD		4	/* page cache disabled */ | 
 | 11 | #define _PAGE_BIT_ACCESSED	5	/* was accessed (raised by CPU) */ | 
 | 12 | #define _PAGE_BIT_DIRTY		6	/* was written to (raised by CPU) */ | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 13 | #define _PAGE_BIT_FILE		6 | 
 | 14 | #define _PAGE_BIT_PSE		7	/* 4 MB (or 2MB) page */ | 
| Andi Kleen | 9bf5a47 | 2008-02-04 16:48:06 +0100 | [diff] [blame] | 15 | #define _PAGE_BIT_PAT		7	/* on 4KB pages */ | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 16 | #define _PAGE_BIT_GLOBAL	8	/* Global TLB entry PPro+ */ | 
 | 17 | #define _PAGE_BIT_UNUSED1	9	/* available for programmer */ | 
 | 18 | #define _PAGE_BIT_UNUSED2	10 | 
 | 19 | #define _PAGE_BIT_UNUSED3	11 | 
| Andi Kleen | 9bf5a47 | 2008-02-04 16:48:06 +0100 | [diff] [blame] | 20 | #define _PAGE_BIT_PAT_LARGE	12	/* On 2MB or 1GB pages */ | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 21 | #define _PAGE_BIT_NX           63       /* No execute: only valid after cpuid check */ | 
 | 22 |  | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 23 | #define _PAGE_PRESENT	(_AT(pteval_t, 1) << _PAGE_BIT_PRESENT) | 
 | 24 | #define _PAGE_RW	(_AT(pteval_t, 1) << _PAGE_BIT_RW) | 
 | 25 | #define _PAGE_USER	(_AT(pteval_t, 1) << _PAGE_BIT_USER) | 
 | 26 | #define _PAGE_PWT	(_AT(pteval_t, 1) << _PAGE_BIT_PWT) | 
 | 27 | #define _PAGE_PCD	(_AT(pteval_t, 1) << _PAGE_BIT_PCD) | 
 | 28 | #define _PAGE_ACCESSED	(_AT(pteval_t, 1) << _PAGE_BIT_ACCESSED) | 
 | 29 | #define _PAGE_DIRTY	(_AT(pteval_t, 1) << _PAGE_BIT_DIRTY) | 
 | 30 | #define _PAGE_PSE	(_AT(pteval_t, 1) << _PAGE_BIT_PSE) | 
 | 31 | #define _PAGE_GLOBAL	(_AT(pteval_t, 1) << _PAGE_BIT_GLOBAL) | 
 | 32 | #define _PAGE_UNUSED1	(_AT(pteval_t, 1) << _PAGE_BIT_UNUSED1) | 
 | 33 | #define _PAGE_UNUSED2	(_AT(pteval_t, 1) << _PAGE_BIT_UNUSED2) | 
 | 34 | #define _PAGE_UNUSED3	(_AT(pteval_t, 1) << _PAGE_BIT_UNUSED3) | 
 | 35 | #define _PAGE_PAT	(_AT(pteval_t, 1) << _PAGE_BIT_PAT) | 
 | 36 | #define _PAGE_PAT_LARGE (_AT(pteval_t, 1) << _PAGE_BIT_PAT_LARGE) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 37 |  | 
 | 38 | #if defined(CONFIG_X86_64) || defined(CONFIG_X86_PAE) | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 39 | #define _PAGE_NX	(_AT(pteval_t, 1) << _PAGE_BIT_NX) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 40 | #else | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 41 | #define _PAGE_NX	(_AT(pteval_t, 0)) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 42 | #endif | 
 | 43 |  | 
 | 44 | /* If _PAGE_PRESENT is clear, we use these: */ | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 45 | #define _PAGE_FILE	_PAGE_DIRTY	/* nonlinear file mapping, | 
 | 46 | 					 * saved PTE; unset:swap */ | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 47 | #define _PAGE_PROTNONE	_PAGE_PSE	/* if the user mapped it with PROT_NONE; | 
 | 48 | 					   pte_present gives true */ | 
 | 49 |  | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 50 | #define _PAGE_TABLE	(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER |	\ | 
 | 51 | 			 _PAGE_ACCESSED | _PAGE_DIRTY) | 
 | 52 | #define _KERNPG_TABLE	(_PAGE_PRESENT | _PAGE_RW | _PAGE_ACCESSED |	\ | 
 | 53 | 			 _PAGE_DIRTY) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 54 |  | 
| Jeremy Fitzhardinge | 86aaf4f | 2008-05-20 08:26:22 +0100 | [diff] [blame] | 55 | /* Set of bits not changed in pte_modify */ | 
| Venki Pallipadi | 1c12c4c | 2008-05-14 16:05:51 -0700 | [diff] [blame] | 56 | #define _PAGE_CHG_MASK	(PTE_MASK | _PAGE_PCD | _PAGE_PWT |		\ | 
 | 57 | 			 _PAGE_ACCESSED | _PAGE_DIRTY) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 58 |  | 
| venkatesh.pallipadi@intel.com | 2e5d9c8 | 2008-03-18 17:00:14 -0700 | [diff] [blame] | 59 | #define _PAGE_CACHE_MASK	(_PAGE_PCD | _PAGE_PWT) | 
 | 60 | #define _PAGE_CACHE_WB		(0) | 
 | 61 | #define _PAGE_CACHE_WC		(_PAGE_PWT) | 
 | 62 | #define _PAGE_CACHE_UC_MINUS	(_PAGE_PCD) | 
 | 63 | #define _PAGE_CACHE_UC		(_PAGE_PCD | _PAGE_PWT) | 
 | 64 |  | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 65 | #define PAGE_NONE	__pgprot(_PAGE_PROTNONE | _PAGE_ACCESSED) | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 66 | #define PAGE_SHARED	__pgprot(_PAGE_PRESENT | _PAGE_RW | _PAGE_USER | \ | 
 | 67 | 				 _PAGE_ACCESSED | _PAGE_NX) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 68 |  | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 69 | #define PAGE_SHARED_EXEC	__pgprot(_PAGE_PRESENT | _PAGE_RW |	\ | 
 | 70 | 					 _PAGE_USER | _PAGE_ACCESSED) | 
 | 71 | #define PAGE_COPY_NOEXEC	__pgprot(_PAGE_PRESENT | _PAGE_USER |	\ | 
 | 72 | 					 _PAGE_ACCESSED | _PAGE_NX) | 
 | 73 | #define PAGE_COPY_EXEC		__pgprot(_PAGE_PRESENT | _PAGE_USER |	\ | 
 | 74 | 					 _PAGE_ACCESSED) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 75 | #define PAGE_COPY		PAGE_COPY_NOEXEC | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 76 | #define PAGE_READONLY		__pgprot(_PAGE_PRESENT | _PAGE_USER |	\ | 
 | 77 | 					 _PAGE_ACCESSED | _PAGE_NX) | 
 | 78 | #define PAGE_READONLY_EXEC	__pgprot(_PAGE_PRESENT | _PAGE_USER |	\ | 
 | 79 | 					 _PAGE_ACCESSED) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 80 |  | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 81 | #define __PAGE_KERNEL_EXEC						\ | 
| Jeremy Fitzhardinge | 8490638 | 2008-07-01 16:46:35 -0700 | [diff] [blame] | 82 | 	(_PAGE_PRESENT | _PAGE_RW | _PAGE_DIRTY | _PAGE_ACCESSED | _PAGE_GLOBAL) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 83 | #define __PAGE_KERNEL		(__PAGE_KERNEL_EXEC | _PAGE_NX) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 84 |  | 
 | 85 | #define __PAGE_KERNEL_RO		(__PAGE_KERNEL & ~_PAGE_RW) | 
 | 86 | #define __PAGE_KERNEL_RX		(__PAGE_KERNEL_EXEC & ~_PAGE_RW) | 
| Ingo Molnar | d2e626f | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 87 | #define __PAGE_KERNEL_EXEC_NOCACHE	(__PAGE_KERNEL_EXEC | _PAGE_PCD | _PAGE_PWT) | 
| venkatesh.pallipadi@intel.com | b310f38 | 2008-03-18 17:00:24 -0700 | [diff] [blame] | 88 | #define __PAGE_KERNEL_WC		(__PAGE_KERNEL | _PAGE_CACHE_WC) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 89 | #define __PAGE_KERNEL_NOCACHE		(__PAGE_KERNEL | _PAGE_PCD | _PAGE_PWT) | 
| Suresh Siddha | d546b67 | 2008-03-25 17:39:12 -0700 | [diff] [blame] | 90 | #define __PAGE_KERNEL_UC_MINUS		(__PAGE_KERNEL | _PAGE_PCD) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 91 | #define __PAGE_KERNEL_VSYSCALL		(__PAGE_KERNEL_RX | _PAGE_USER) | 
 | 92 | #define __PAGE_KERNEL_VSYSCALL_NOCACHE	(__PAGE_KERNEL_VSYSCALL | _PAGE_PCD | _PAGE_PWT) | 
 | 93 | #define __PAGE_KERNEL_LARGE		(__PAGE_KERNEL | _PAGE_PSE) | 
| Jack Steiner | 3a9e189 | 2008-07-01 14:45:32 -0500 | [diff] [blame] | 94 | #define __PAGE_KERNEL_LARGE_NOCACHE	(__PAGE_KERNEL | _PAGE_CACHE_UC | _PAGE_PSE) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 95 | #define __PAGE_KERNEL_LARGE_EXEC	(__PAGE_KERNEL_EXEC | _PAGE_PSE) | 
 | 96 |  | 
| Jeremy Fitzhardinge | 8490638 | 2008-07-01 16:46:35 -0700 | [diff] [blame] | 97 | #define PAGE_KERNEL			__pgprot(__PAGE_KERNEL) | 
 | 98 | #define PAGE_KERNEL_RO			__pgprot(__PAGE_KERNEL_RO) | 
 | 99 | #define PAGE_KERNEL_EXEC		__pgprot(__PAGE_KERNEL_EXEC) | 
 | 100 | #define PAGE_KERNEL_RX			__pgprot(__PAGE_KERNEL_RX) | 
 | 101 | #define PAGE_KERNEL_WC			__pgprot(__PAGE_KERNEL_WC) | 
 | 102 | #define PAGE_KERNEL_NOCACHE		__pgprot(__PAGE_KERNEL_NOCACHE) | 
 | 103 | #define PAGE_KERNEL_UC_MINUS		__pgprot(__PAGE_KERNEL_UC_MINUS) | 
 | 104 | #define PAGE_KERNEL_EXEC_NOCACHE	__pgprot(__PAGE_KERNEL_EXEC_NOCACHE) | 
 | 105 | #define PAGE_KERNEL_LARGE		__pgprot(__PAGE_KERNEL_LARGE) | 
| Jack Steiner | 3a9e189 | 2008-07-01 14:45:32 -0500 | [diff] [blame] | 106 | #define PAGE_KERNEL_LARGE_NOCACHE	__pgprot(__PAGE_KERNEL_LARGE_NOCACHE) | 
| Jeremy Fitzhardinge | 8490638 | 2008-07-01 16:46:35 -0700 | [diff] [blame] | 107 | #define PAGE_KERNEL_LARGE_EXEC		__pgprot(__PAGE_KERNEL_LARGE_EXEC) | 
 | 108 | #define PAGE_KERNEL_VSYSCALL		__pgprot(__PAGE_KERNEL_VSYSCALL) | 
 | 109 | #define PAGE_KERNEL_VSYSCALL_NOCACHE	__pgprot(__PAGE_KERNEL_VSYSCALL_NOCACHE) | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 110 |  | 
 | 111 | /*         xwr */ | 
 | 112 | #define __P000	PAGE_NONE | 
 | 113 | #define __P001	PAGE_READONLY | 
 | 114 | #define __P010	PAGE_COPY | 
 | 115 | #define __P011	PAGE_COPY | 
 | 116 | #define __P100	PAGE_READONLY_EXEC | 
 | 117 | #define __P101	PAGE_READONLY_EXEC | 
 | 118 | #define __P110	PAGE_COPY_EXEC | 
 | 119 | #define __P111	PAGE_COPY_EXEC | 
 | 120 |  | 
 | 121 | #define __S000	PAGE_NONE | 
 | 122 | #define __S001	PAGE_READONLY | 
 | 123 | #define __S010	PAGE_SHARED | 
 | 124 | #define __S011	PAGE_SHARED | 
 | 125 | #define __S100	PAGE_READONLY_EXEC | 
 | 126 | #define __S101	PAGE_READONLY_EXEC | 
 | 127 | #define __S110	PAGE_SHARED_EXEC | 
 | 128 | #define __S111	PAGE_SHARED_EXEC | 
 | 129 |  | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 130 | #ifndef __ASSEMBLY__ | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 131 |  | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 132 | /* | 
| Jeremy Fitzhardinge | 8405b12 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 133 |  * ZERO_PAGE is a global shared page that is always zero: used | 
 | 134 |  * for zero-mapped memory areas etc.. | 
 | 135 |  */ | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 136 | extern unsigned long empty_zero_page[PAGE_SIZE / sizeof(unsigned long)]; | 
| Jeremy Fitzhardinge | 8405b12 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 137 | #define ZERO_PAGE(vaddr) (virt_to_page(empty_zero_page)) | 
 | 138 |  | 
| Jeremy Fitzhardinge | e3ed910 | 2008-01-30 13:34:11 +0100 | [diff] [blame] | 139 | extern spinlock_t pgd_lock; | 
 | 140 | extern struct list_head pgd_list; | 
| Jeremy Fitzhardinge | 8405b12 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 141 |  | 
 | 142 | /* | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 143 |  * The following only work if pte_present() is true. | 
 | 144 |  * Undefined behaviour if not.. | 
 | 145 |  */ | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 146 | static inline int pte_dirty(pte_t pte) | 
 | 147 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 148 | 	return pte_flags(pte) & _PAGE_DIRTY; | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 149 | } | 
 | 150 |  | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 151 | static inline int pte_young(pte_t pte) | 
 | 152 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 153 | 	return pte_flags(pte) & _PAGE_ACCESSED; | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 154 | } | 
 | 155 |  | 
 | 156 | static inline int pte_write(pte_t pte) | 
 | 157 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 158 | 	return pte_flags(pte) & _PAGE_RW; | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 159 | } | 
 | 160 |  | 
 | 161 | static inline int pte_file(pte_t pte) | 
 | 162 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 163 | 	return pte_flags(pte) & _PAGE_FILE; | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 164 | } | 
 | 165 |  | 
 | 166 | static inline int pte_huge(pte_t pte) | 
 | 167 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 168 | 	return pte_flags(pte) & _PAGE_PSE; | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 169 | } | 
 | 170 |  | 
 | 171 | static inline int pte_global(pte_t pte) | 
 | 172 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 173 | 	return pte_flags(pte) & _PAGE_GLOBAL; | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 174 | } | 
 | 175 |  | 
 | 176 | static inline int pte_exec(pte_t pte) | 
 | 177 | { | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 178 | 	return !(pte_flags(pte) & _PAGE_NX); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 179 | } | 
 | 180 |  | 
| Nick Piggin | 7e67513 | 2008-04-28 02:13:00 -0700 | [diff] [blame] | 181 | static inline int pte_special(pte_t pte) | 
 | 182 | { | 
 | 183 | 	return 0; | 
 | 184 | } | 
 | 185 |  | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 186 | static inline int pmd_large(pmd_t pte) | 
 | 187 | { | 
 | 188 | 	return (pmd_val(pte) & (_PAGE_PSE | _PAGE_PRESENT)) == | 
 | 189 | 		(_PAGE_PSE | _PAGE_PRESENT); | 
 | 190 | } | 
 | 191 |  | 
 | 192 | static inline pte_t pte_mkclean(pte_t pte) | 
 | 193 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 194 | 	return __pte(pte_val(pte) & ~_PAGE_DIRTY); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 195 | } | 
 | 196 |  | 
 | 197 | static inline pte_t pte_mkold(pte_t pte) | 
 | 198 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 199 | 	return __pte(pte_val(pte) & ~_PAGE_ACCESSED); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 200 | } | 
 | 201 |  | 
 | 202 | static inline pte_t pte_wrprotect(pte_t pte) | 
 | 203 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 204 | 	return __pte(pte_val(pte) & ~_PAGE_RW); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 205 | } | 
 | 206 |  | 
 | 207 | static inline pte_t pte_mkexec(pte_t pte) | 
 | 208 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 209 | 	return __pte(pte_val(pte) & ~_PAGE_NX); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 210 | } | 
 | 211 |  | 
 | 212 | static inline pte_t pte_mkdirty(pte_t pte) | 
 | 213 | { | 
 | 214 | 	return __pte(pte_val(pte) | _PAGE_DIRTY); | 
 | 215 | } | 
 | 216 |  | 
 | 217 | static inline pte_t pte_mkyoung(pte_t pte) | 
 | 218 | { | 
 | 219 | 	return __pte(pte_val(pte) | _PAGE_ACCESSED); | 
 | 220 | } | 
 | 221 |  | 
 | 222 | static inline pte_t pte_mkwrite(pte_t pte) | 
 | 223 | { | 
 | 224 | 	return __pte(pte_val(pte) | _PAGE_RW); | 
 | 225 | } | 
 | 226 |  | 
 | 227 | static inline pte_t pte_mkhuge(pte_t pte) | 
 | 228 | { | 
 | 229 | 	return __pte(pte_val(pte) | _PAGE_PSE); | 
 | 230 | } | 
 | 231 |  | 
 | 232 | static inline pte_t pte_clrhuge(pte_t pte) | 
 | 233 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 234 | 	return __pte(pte_val(pte) & ~_PAGE_PSE); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 235 | } | 
 | 236 |  | 
 | 237 | static inline pte_t pte_mkglobal(pte_t pte) | 
 | 238 | { | 
 | 239 | 	return __pte(pte_val(pte) | _PAGE_GLOBAL); | 
 | 240 | } | 
 | 241 |  | 
 | 242 | static inline pte_t pte_clrglobal(pte_t pte) | 
 | 243 | { | 
| Jeremy Fitzhardinge | 4226ab9 | 2008-05-26 23:30:58 +0100 | [diff] [blame] | 244 | 	return __pte(pte_val(pte) & ~_PAGE_GLOBAL); | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 245 | } | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 246 |  | 
| Nick Piggin | 7e67513 | 2008-04-28 02:13:00 -0700 | [diff] [blame] | 247 | static inline pte_t pte_mkspecial(pte_t pte) | 
 | 248 | { | 
 | 249 | 	return pte; | 
 | 250 | } | 
 | 251 |  | 
| Jeremy Fitzhardinge | 6fdc05d | 2008-01-30 13:32:57 +0100 | [diff] [blame] | 252 | extern pteval_t __supported_pte_mask; | 
 | 253 |  | 
 | 254 | static inline pte_t pfn_pte(unsigned long page_nr, pgprot_t pgprot) | 
 | 255 | { | 
 | 256 | 	return __pte((((phys_addr_t)page_nr << PAGE_SHIFT) | | 
 | 257 | 		      pgprot_val(pgprot)) & __supported_pte_mask); | 
 | 258 | } | 
 | 259 |  | 
 | 260 | static inline pmd_t pfn_pmd(unsigned long page_nr, pgprot_t pgprot) | 
 | 261 | { | 
 | 262 | 	return __pmd((((phys_addr_t)page_nr << PAGE_SHIFT) | | 
 | 263 | 		      pgprot_val(pgprot)) & __supported_pte_mask); | 
 | 264 | } | 
 | 265 |  | 
| Ingo Molnar | 3847231 | 2008-01-30 13:32:57 +0100 | [diff] [blame] | 266 | static inline pte_t pte_modify(pte_t pte, pgprot_t newprot) | 
 | 267 | { | 
 | 268 | 	pteval_t val = pte_val(pte); | 
 | 269 |  | 
 | 270 | 	/* | 
 | 271 | 	 * Chop off the NX bit (if present), and add the NX portion of | 
 | 272 | 	 * the newprot (if present): | 
 | 273 | 	 */ | 
| Venki Pallipadi | 1c12c4c | 2008-05-14 16:05:51 -0700 | [diff] [blame] | 274 | 	val &= _PAGE_CHG_MASK; | 
 | 275 | 	val |= pgprot_val(newprot) & (~_PAGE_CHG_MASK) & __supported_pte_mask; | 
| Ingo Molnar | 3847231 | 2008-01-30 13:32:57 +0100 | [diff] [blame] | 276 |  | 
 | 277 | 	return __pte(val); | 
 | 278 | } | 
 | 279 |  | 
| Venki Pallipadi | 1c12c4c | 2008-05-14 16:05:51 -0700 | [diff] [blame] | 280 | /* mprotect needs to preserve PAT bits when updating vm_page_prot */ | 
 | 281 | #define pgprot_modify pgprot_modify | 
 | 282 | static inline pgprot_t pgprot_modify(pgprot_t oldprot, pgprot_t newprot) | 
 | 283 | { | 
 | 284 | 	pgprotval_t preservebits = pgprot_val(oldprot) & _PAGE_CHG_MASK; | 
 | 285 | 	pgprotval_t addbits = pgprot_val(newprot); | 
 | 286 | 	return __pgprot(preservebits | addbits); | 
 | 287 | } | 
 | 288 |  | 
| Jeremy Fitzhardinge | a15af1c | 2008-05-26 23:31:06 +0100 | [diff] [blame] | 289 | #define pte_pgprot(x) __pgprot(pte_flags(x) & ~PTE_MASK) | 
| Andi Kleen | c6ca18e | 2008-01-30 13:33:51 +0100 | [diff] [blame] | 290 |  | 
| Andi Kleen | 1e8e23b | 2008-01-30 13:33:53 +0100 | [diff] [blame] | 291 | #define canon_pgprot(p) __pgprot(pgprot_val(p) & __supported_pte_mask) | 
 | 292 |  | 
| venkatesh.pallipadi@intel.com | f0970c1 | 2008-03-18 17:00:20 -0700 | [diff] [blame] | 293 | #ifndef __ASSEMBLY__ | 
 | 294 | #define __HAVE_PHYS_MEM_ACCESS_PROT | 
 | 295 | struct file; | 
 | 296 | pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn, | 
 | 297 |                               unsigned long size, pgprot_t vma_prot); | 
 | 298 | int phys_mem_access_prot_allowed(struct file *file, unsigned long pfn, | 
 | 299 |                               unsigned long size, pgprot_t *vma_prot); | 
 | 300 | #endif | 
 | 301 |  | 
| Jeremy Fitzhardinge | d494a96 | 2008-06-17 11:41:59 -0700 | [diff] [blame] | 302 | /* Install a pte for a particular vaddr in kernel space. */ | 
 | 303 | void set_pte_vaddr(unsigned long vaddr, pte_t pte); | 
 | 304 |  | 
| Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 305 | #ifdef CONFIG_PARAVIRT | 
 | 306 | #include <asm/paravirt.h> | 
 | 307 | #else  /* !CONFIG_PARAVIRT */ | 
 | 308 | #define set_pte(ptep, pte)		native_set_pte(ptep, pte) | 
 | 309 | #define set_pte_at(mm, addr, ptep, pte)	native_set_pte_at(mm, addr, ptep, pte) | 
 | 310 |  | 
 | 311 | #define set_pte_present(mm, addr, ptep, pte)				\ | 
 | 312 | 	native_set_pte_present(mm, addr, ptep, pte) | 
 | 313 | #define set_pte_atomic(ptep, pte)					\ | 
 | 314 | 	native_set_pte_atomic(ptep, pte) | 
 | 315 |  | 
 | 316 | #define set_pmd(pmdp, pmd)		native_set_pmd(pmdp, pmd) | 
 | 317 |  | 
 | 318 | #ifndef __PAGETABLE_PUD_FOLDED | 
 | 319 | #define set_pgd(pgdp, pgd)		native_set_pgd(pgdp, pgd) | 
 | 320 | #define pgd_clear(pgd)			native_pgd_clear(pgd) | 
 | 321 | #endif | 
 | 322 |  | 
 | 323 | #ifndef set_pud | 
 | 324 | # define set_pud(pudp, pud)		native_set_pud(pudp, pud) | 
 | 325 | #endif | 
 | 326 |  | 
 | 327 | #ifndef __PAGETABLE_PMD_FOLDED | 
 | 328 | #define pud_clear(pud)			native_pud_clear(pud) | 
 | 329 | #endif | 
 | 330 |  | 
 | 331 | #define pte_clear(mm, addr, ptep)	native_pte_clear(mm, addr, ptep) | 
 | 332 | #define pmd_clear(pmd)			native_pmd_clear(pmd) | 
 | 333 |  | 
 | 334 | #define pte_update(mm, addr, ptep)              do { } while (0) | 
 | 335 | #define pte_update_defer(mm, addr, ptep)        do { } while (0) | 
 | 336 | #endif	/* CONFIG_PARAVIRT */ | 
 | 337 |  | 
| Jeremy Fitzhardinge | 4614139 | 2008-01-30 13:32:56 +0100 | [diff] [blame] | 338 | #endif	/* __ASSEMBLY__ */ | 
 | 339 |  | 
| Thomas Gleixner | 96a388d | 2007-10-11 11:20:03 +0200 | [diff] [blame] | 340 | #ifdef CONFIG_X86_32 | 
 | 341 | # include "pgtable_32.h" | 
 | 342 | #else | 
 | 343 | # include "pgtable_64.h" | 
 | 344 | #endif | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 345 |  | 
| Jeremy Fitzhardinge | fb15a9b | 2008-06-25 00:19:06 -0400 | [diff] [blame] | 346 | /* | 
 | 347 |  * the pgd page can be thought of an array like this: pgd_t[PTRS_PER_PGD] | 
 | 348 |  * | 
 | 349 |  * this macro returns the index of the entry in the pgd page which would | 
 | 350 |  * control the given virtual address | 
 | 351 |  */ | 
 | 352 | #define pgd_index(address) (((address) >> PGDIR_SHIFT) & (PTRS_PER_PGD - 1)) | 
 | 353 |  | 
 | 354 | /* | 
 | 355 |  * pgd_offset() returns a (pgd_t *) | 
 | 356 |  * pgd_index() is used get the offset into the pgd page's array of pgd_t's; | 
 | 357 |  */ | 
 | 358 | #define pgd_offset(mm, address) ((mm)->pgd + pgd_index((address))) | 
 | 359 | /* | 
 | 360 |  * a shortcut which implies the use of the kernel's pgd, instead | 
 | 361 |  * of a process's | 
 | 362 |  */ | 
 | 363 | #define pgd_offset_k(address) pgd_offset(&init_mm, (address)) | 
 | 364 |  | 
 | 365 |  | 
| Jeremy Fitzhardinge | 68db065 | 2008-03-17 16:37:13 -0700 | [diff] [blame] | 366 | #define KERNEL_PGD_BOUNDARY	pgd_index(PAGE_OFFSET) | 
 | 367 | #define KERNEL_PGD_PTRS		(PTRS_PER_PGD - KERNEL_PGD_BOUNDARY) | 
 | 368 |  | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 369 | #ifndef __ASSEMBLY__ | 
 | 370 |  | 
| Thomas Gleixner | 30551bb | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 371 | enum { | 
 | 372 | 	PG_LEVEL_NONE, | 
 | 373 | 	PG_LEVEL_4K, | 
 | 374 | 	PG_LEVEL_2M, | 
| Ingo Molnar | 86f0398 | 2008-01-30 13:34:09 +0100 | [diff] [blame] | 375 | 	PG_LEVEL_1G, | 
| Andi Kleen | ce0c0e5 | 2008-05-02 11:46:49 +0200 | [diff] [blame] | 376 | 	PG_LEVEL_NUM | 
| Thomas Gleixner | 30551bb | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 377 | }; | 
 | 378 |  | 
| Thomas Gleixner | 65280e6 | 2008-05-05 16:35:21 +0200 | [diff] [blame] | 379 | #ifdef CONFIG_PROC_FS | 
 | 380 | extern void update_page_count(int level, unsigned long pages); | 
 | 381 | #else | 
 | 382 | static inline void update_page_count(int level, unsigned long pages) { } | 
 | 383 | #endif | 
| Andi Kleen | ce0c0e5 | 2008-05-02 11:46:49 +0200 | [diff] [blame] | 384 |  | 
| Thomas Gleixner | 0a66308 | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 385 | /* | 
 | 386 |  * Helper function that returns the kernel pagetable entry controlling | 
 | 387 |  * the virtual address 'address'. NULL means no pagetable entry present. | 
 | 388 |  * NOTE: the return type is pte_t but if the pmd is PSE then we return it | 
 | 389 |  * as a pte too. | 
 | 390 |  */ | 
| Harvey Harrison | da7bfc5 | 2008-02-09 23:24:08 +0100 | [diff] [blame] | 391 | extern pte_t *lookup_address(unsigned long address, unsigned int *level); | 
| Thomas Gleixner | 0a66308 | 2008-01-30 13:34:04 +0100 | [diff] [blame] | 392 |  | 
| Jeremy Fitzhardinge | 4891645 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 393 | /* local pte updates need not use xchg for locking */ | 
 | 394 | static inline pte_t native_local_ptep_get_and_clear(pte_t *ptep) | 
 | 395 | { | 
 | 396 | 	pte_t res = *ptep; | 
 | 397 |  | 
 | 398 | 	/* Pure native function needs no input for mm, addr */ | 
 | 399 | 	native_pte_clear(NULL, 0, ptep); | 
 | 400 | 	return res; | 
 | 401 | } | 
 | 402 |  | 
 | 403 | static inline void native_set_pte_at(struct mm_struct *mm, unsigned long addr, | 
 | 404 | 				     pte_t *ptep , pte_t pte) | 
 | 405 | { | 
 | 406 | 	native_set_pte(ptep, pte); | 
 | 407 | } | 
 | 408 |  | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 409 | #ifndef CONFIG_PARAVIRT | 
 | 410 | /* | 
 | 411 |  * Rules for using pte_update - it must be called after any PTE update which | 
 | 412 |  * has not been done using the set_pte / clear_pte interfaces.  It is used by | 
 | 413 |  * shadow mode hypervisors to resynchronize the shadow page tables.  Kernel PTE | 
 | 414 |  * updates should either be sets, clears, or set_pte_atomic for P->P | 
 | 415 |  * transitions, which means this hook should only be called for user PTEs. | 
 | 416 |  * This hook implies a P->P protection or access change has taken place, which | 
 | 417 |  * requires a subsequent TLB flush.  The notification can optionally be delayed | 
 | 418 |  * until the TLB flush event by using the pte_update_defer form of the | 
 | 419 |  * interface, but care must be taken to assure that the flush happens while | 
 | 420 |  * still holding the same page table lock so that the shadow and primary pages | 
 | 421 |  * do not become out of sync on SMP. | 
 | 422 |  */ | 
 | 423 | #define pte_update(mm, addr, ptep)		do { } while (0) | 
 | 424 | #define pte_update_defer(mm, addr, ptep)	do { } while (0) | 
 | 425 | #endif | 
 | 426 |  | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 427 | /* | 
 | 428 |  * We only update the dirty/accessed state if we set | 
 | 429 |  * the dirty bit by hand in the kernel, since the hardware | 
 | 430 |  * will do the accessed bit for us, and we don't want to | 
 | 431 |  * race with other CPU's that might be updating the dirty | 
 | 432 |  * bit at the same time. | 
 | 433 |  */ | 
| Jeremy Fitzhardinge | bea4180 | 2008-06-25 00:18:57 -0400 | [diff] [blame] | 434 | struct vm_area_struct; | 
 | 435 |  | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 436 | #define  __HAVE_ARCH_PTEP_SET_ACCESS_FLAGS | 
| Jeremy Fitzhardinge | ee5aa8d | 2008-03-17 16:37:03 -0700 | [diff] [blame] | 437 | extern int ptep_set_access_flags(struct vm_area_struct *vma, | 
 | 438 | 				 unsigned long address, pte_t *ptep, | 
 | 439 | 				 pte_t entry, int dirty); | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 440 |  | 
 | 441 | #define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_YOUNG | 
| Jeremy Fitzhardinge | f9fbf1a | 2008-03-17 16:37:04 -0700 | [diff] [blame] | 442 | extern int ptep_test_and_clear_young(struct vm_area_struct *vma, | 
 | 443 | 				     unsigned long addr, pte_t *ptep); | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 444 |  | 
 | 445 | #define __HAVE_ARCH_PTEP_CLEAR_YOUNG_FLUSH | 
| Jeremy Fitzhardinge | c20311e | 2008-03-17 16:37:05 -0700 | [diff] [blame] | 446 | extern int ptep_clear_flush_young(struct vm_area_struct *vma, | 
 | 447 | 				  unsigned long address, pte_t *ptep); | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 448 |  | 
 | 449 | #define __HAVE_ARCH_PTEP_GET_AND_CLEAR | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 450 | static inline pte_t ptep_get_and_clear(struct mm_struct *mm, unsigned long addr, | 
 | 451 | 				       pte_t *ptep) | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 452 | { | 
 | 453 | 	pte_t pte = native_ptep_get_and_clear(ptep); | 
 | 454 | 	pte_update(mm, addr, ptep); | 
 | 455 | 	return pte; | 
 | 456 | } | 
 | 457 |  | 
 | 458 | #define __HAVE_ARCH_PTEP_GET_AND_CLEAR_FULL | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 459 | static inline pte_t ptep_get_and_clear_full(struct mm_struct *mm, | 
 | 460 | 					    unsigned long addr, pte_t *ptep, | 
 | 461 | 					    int full) | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 462 | { | 
 | 463 | 	pte_t pte; | 
 | 464 | 	if (full) { | 
 | 465 | 		/* | 
 | 466 | 		 * Full address destruction in progress; paravirt does not | 
 | 467 | 		 * care about updates and native needs no locking | 
 | 468 | 		 */ | 
 | 469 | 		pte = native_local_ptep_get_and_clear(ptep); | 
 | 470 | 	} else { | 
 | 471 | 		pte = ptep_get_and_clear(mm, addr, ptep); | 
 | 472 | 	} | 
 | 473 | 	return pte; | 
 | 474 | } | 
 | 475 |  | 
 | 476 | #define __HAVE_ARCH_PTEP_SET_WRPROTECT | 
| Joe Perches | 3cbaeaf | 2008-03-23 01:03:12 -0700 | [diff] [blame] | 477 | static inline void ptep_set_wrprotect(struct mm_struct *mm, | 
 | 478 | 				      unsigned long addr, pte_t *ptep) | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 479 | { | 
| Jeremy Fitzhardinge | d8d8982 | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 480 | 	clear_bit(_PAGE_BIT_RW, (unsigned long *)&ptep->pte); | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 481 | 	pte_update(mm, addr, ptep); | 
 | 482 | } | 
 | 483 |  | 
| Jeremy Fitzhardinge | 85958b4 | 2008-03-17 16:37:14 -0700 | [diff] [blame] | 484 | /* | 
 | 485 |  * clone_pgd_range(pgd_t *dst, pgd_t *src, int count); | 
 | 486 |  * | 
 | 487 |  *  dst - pointer to pgd range anwhere on a pgd page | 
 | 488 |  *  src - "" | 
 | 489 |  *  count - the number of pgds to copy. | 
 | 490 |  * | 
 | 491 |  * dst and src can be on the same page, but the range must not overlap, | 
 | 492 |  * and must not cross a page boundary. | 
 | 493 |  */ | 
 | 494 | static inline void clone_pgd_range(pgd_t *dst, pgd_t *src, int count) | 
 | 495 | { | 
 | 496 |        memcpy(dst, src, count * sizeof(pgd_t)); | 
 | 497 | } | 
 | 498 |  | 
 | 499 |  | 
| Jeremy Fitzhardinge | 195466d | 2008-01-30 13:32:58 +0100 | [diff] [blame] | 500 | #include <asm-generic/pgtable.h> | 
 | 501 | #endif	/* __ASSEMBLY__ */ | 
 | 502 |  | 
| Jeremy Fitzhardinge | 6c38665 | 2008-01-30 13:32:55 +0100 | [diff] [blame] | 503 | #endif	/* _ASM_X86_PGTABLE_H */ |