blob: 3f481ef42c07b76965a42e3714fed4d8b9c9118f [file] [log] [blame]
Catalin Marinas4f04d8f2012-03-05 11:49:27 +00001/*
2 * Copyright (C) 2012 ARM Ltd.
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
15 */
16#ifndef __ASM_PGTABLE_H
17#define __ASM_PGTABLE_H
18
Catalin Marinas2f4b8292015-07-10 17:24:28 +010019#include <asm/bug.h>
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000020#include <asm/proc-fns.h>
21
22#include <asm/memory.h>
23#include <asm/pgtable-hwdef.h>
24
25/*
26 * Software defined PTE bits definition.
27 */
Will Deacona6fadf72012-12-18 14:15:15 +000028#define PTE_VALID (_AT(pteval_t, 1) << 0)
Will Deaconbf950042015-09-11 18:22:02 +010029#define PTE_WRITE (PTE_DBM) /* same as DBM (51) */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000030#define PTE_DIRTY (_AT(pteval_t, 1) << 55)
31#define PTE_SPECIAL (_AT(pteval_t, 1) << 56)
Catalin Marinas3676f9e2013-11-27 16:59:27 +000032#define PTE_PROT_NONE (_AT(pteval_t, 1) << 58) /* only when !PTE_VALID */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000033
34/*
35 * VMALLOC and SPARSEMEM_VMEMMAP ranges.
Catalin Marinas08375192014-07-16 17:42:43 +010036 *
37 * VMEMAP_SIZE: allows the whole VA space to be covered by a struct page array
38 * (rounded up to PUD_SIZE).
39 * VMALLOC_START: beginning of the kernel VA space
40 * VMALLOC_END: extends to the available space below vmmemmap, PCI I/O space,
41 * fixed mappings and modules
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000042 */
Catalin Marinas08375192014-07-16 17:42:43 +010043#define VMEMMAP_SIZE ALIGN((1UL << (VA_BITS - PAGE_SHIFT)) * sizeof(struct page), PUD_SIZE)
Andrey Ryabinin127db022015-09-17 12:38:07 +030044#define VMALLOC_START (VA_START)
Catalin Marinas08375192014-07-16 17:42:43 +010045#define VMALLOC_END (PAGE_OFFSET - PUD_SIZE - VMEMMAP_SIZE - SZ_64K)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000046
47#define vmemmap ((struct page *)(VMALLOC_END + SZ_64K))
48
Kirill A. Shutemovd016bf72015-02-11 15:26:41 -080049#define FIRST_USER_ADDRESS 0UL
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000050
51#ifndef __ASSEMBLY__
Catalin Marinas2f4b8292015-07-10 17:24:28 +010052
53#include <linux/mmdebug.h>
54
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000055extern void __pte_error(const char *file, int line, unsigned long val);
56extern void __pmd_error(const char *file, int line, unsigned long val);
Jungseok Leec79b954b2014-05-12 18:40:51 +090057extern void __pud_error(const char *file, int line, unsigned long val);
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000058extern void __pgd_error(const char *file, int line, unsigned long val);
59
Catalin Marinasa501e322014-04-03 15:57:15 +010060#define PROT_DEFAULT (PTE_TYPE_PAGE | PTE_AF | PTE_SHARED)
61#define PROT_SECT_DEFAULT (PMD_TYPE_SECT | PMD_SECT_AF | PMD_SECT_S)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000062
Catalin Marinasa501e322014-04-03 15:57:15 +010063#define PROT_DEVICE_nGnRE (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_DEVICE_nGnRE))
64#define PROT_NORMAL_NC (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_NORMAL_NC))
65#define PROT_NORMAL (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_NORMAL))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000066
Catalin Marinasa501e322014-04-03 15:57:15 +010067#define PROT_SECT_DEVICE_nGnRE (PROT_SECT_DEFAULT | PMD_SECT_PXN | PMD_SECT_UXN | PMD_ATTRINDX(MT_DEVICE_nGnRE))
68#define PROT_SECT_NORMAL (PROT_SECT_DEFAULT | PMD_SECT_PXN | PMD_SECT_UXN | PMD_ATTRINDX(MT_NORMAL))
69#define PROT_SECT_NORMAL_EXEC (PROT_SECT_DEFAULT | PMD_SECT_UXN | PMD_ATTRINDX(MT_NORMAL))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000070
Catalin Marinasa501e322014-04-03 15:57:15 +010071#define _PAGE_DEFAULT (PROT_DEFAULT | PTE_ATTRINDX(MT_NORMAL))
Will Deacona6fadf72012-12-18 14:15:15 +000072
Catalin Marinasa501e322014-04-03 15:57:15 +010073#define PAGE_KERNEL __pgprot(_PAGE_DEFAULT | PTE_PXN | PTE_UXN | PTE_DIRTY | PTE_WRITE)
74#define PAGE_KERNEL_EXEC __pgprot(_PAGE_DEFAULT | PTE_UXN | PTE_DIRTY | PTE_WRITE)
Jeremy Linton06f90d22015-10-07 12:00:22 -050075#define PAGE_KERNEL_EXEC_CONT __pgprot(_PAGE_DEFAULT | PTE_UXN | PTE_DIRTY | PTE_WRITE | PTE_CONT)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000076
Catalin Marinasa501e322014-04-03 15:57:15 +010077#define PAGE_HYP __pgprot(_PAGE_DEFAULT | PTE_HYP)
Marc Zyngier36311602012-12-07 18:35:41 +000078#define PAGE_HYP_DEVICE __pgprot(PROT_DEVICE_nGnRE | PTE_HYP)
79
Catalin Marinasa501e322014-04-03 15:57:15 +010080#define PAGE_S2 __pgprot(PROT_DEFAULT | PTE_S2_MEMATTR(MT_S2_NORMAL) | PTE_S2_RDONLY)
Ard Biesheuvel4a513fb2014-09-17 14:56:20 -070081#define PAGE_S2_DEVICE __pgprot(PROT_DEFAULT | PTE_S2_MEMATTR(MT_S2_DEVICE_nGnRE) | PTE_S2_RDONLY | PTE_UXN)
Marc Zyngier36311602012-12-07 18:35:41 +000082
Steve Capper1a541b42015-10-01 13:06:07 +010083#define PAGE_NONE __pgprot(((_PAGE_DEFAULT) & ~PTE_VALID) | PTE_PROT_NONE | PTE_PXN | PTE_UXN)
Catalin Marinasa501e322014-04-03 15:57:15 +010084#define PAGE_SHARED __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN | PTE_WRITE)
85#define PAGE_SHARED_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_WRITE)
86#define PAGE_COPY __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN)
87#define PAGE_COPY_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN)
88#define PAGE_READONLY __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN)
89#define PAGE_READONLY_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000090
Catalin Marinasa501e322014-04-03 15:57:15 +010091#define __P000 PAGE_NONE
92#define __P001 PAGE_READONLY
93#define __P010 PAGE_COPY
94#define __P011 PAGE_COPY
Catalin Marinas5a0fdfa2014-05-16 16:44:32 +010095#define __P100 PAGE_READONLY_EXEC
Catalin Marinasa501e322014-04-03 15:57:15 +010096#define __P101 PAGE_READONLY_EXEC
97#define __P110 PAGE_COPY_EXEC
98#define __P111 PAGE_COPY_EXEC
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000099
Catalin Marinasa501e322014-04-03 15:57:15 +0100100#define __S000 PAGE_NONE
101#define __S001 PAGE_READONLY
102#define __S010 PAGE_SHARED
103#define __S011 PAGE_SHARED
Catalin Marinas5a0fdfa2014-05-16 16:44:32 +0100104#define __S100 PAGE_READONLY_EXEC
Catalin Marinasa501e322014-04-03 15:57:15 +0100105#define __S101 PAGE_READONLY_EXEC
106#define __S110 PAGE_SHARED_EXEC
107#define __S111 PAGE_SHARED_EXEC
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000108
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000109/*
110 * ZERO_PAGE is a global shared page that is always zero: used
111 * for zero-mapped memory areas etc..
112 */
113extern struct page *empty_zero_page;
114#define ZERO_PAGE(vaddr) (empty_zero_page)
115
Catalin Marinas7078db42014-07-21 14:52:49 +0100116#define pte_ERROR(pte) __pte_error(__FILE__, __LINE__, pte_val(pte))
117
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000118#define pte_pfn(pte) ((pte_val(pte) & PHYS_MASK) >> PAGE_SHIFT)
119
120#define pfn_pte(pfn,prot) (__pte(((phys_addr_t)(pfn) << PAGE_SHIFT) | pgprot_val(prot)))
121
122#define pte_none(pte) (!pte_val(pte))
123#define pte_clear(mm,addr,ptep) set_pte(ptep, __pte(0))
124#define pte_page(pte) (pfn_to_page(pte_pfn(pte)))
Catalin Marinas7078db42014-07-21 14:52:49 +0100125
126/* Find an entry in the third-level page table. */
127#define pte_index(addr) (((addr) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))
128
Will Deacon9ab6d022013-06-10 19:34:41 +0100129#define pte_offset_kernel(dir,addr) (pmd_page_vaddr(*(dir)) + pte_index(addr))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000130
131#define pte_offset_map(dir,addr) pte_offset_kernel((dir), (addr))
132#define pte_offset_map_nested(dir,addr) pte_offset_kernel((dir), (addr))
133#define pte_unmap(pte) do { } while (0)
134#define pte_unmap_nested(pte) do { } while (0)
135
136/*
137 * The following only work if pte_present(). Undefined behaviour otherwise.
138 */
Steve Capper84fe6822014-02-25 11:38:53 +0000139#define pte_present(pte) (!!(pte_val(pte) & (PTE_VALID | PTE_PROT_NONE)))
Steve Capper84fe6822014-02-25 11:38:53 +0000140#define pte_young(pte) (!!(pte_val(pte) & PTE_AF))
141#define pte_special(pte) (!!(pte_val(pte) & PTE_SPECIAL))
142#define pte_write(pte) (!!(pte_val(pte) & PTE_WRITE))
Catalin Marinas8e620b02012-11-15 17:21:16 +0000143#define pte_exec(pte) (!(pte_val(pte) & PTE_UXN))
Jeremy Linton93ef6662015-10-07 12:00:21 -0500144#define pte_cont(pte) (!!(pte_val(pte) & PTE_CONT))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000145
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100146#ifdef CONFIG_ARM64_HW_AFDBM
Catalin Marinasb8474152015-09-11 18:22:00 +0100147#define pte_hw_dirty(pte) (pte_write(pte) && !(pte_val(pte) & PTE_RDONLY))
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100148#else
149#define pte_hw_dirty(pte) (0)
150#endif
151#define pte_sw_dirty(pte) (!!(pte_val(pte) & PTE_DIRTY))
152#define pte_dirty(pte) (pte_sw_dirty(pte) || pte_hw_dirty(pte))
153
Will Deacon766ffb62015-07-28 16:14:03 +0100154#define pte_valid(pte) (!!(pte_val(pte) & PTE_VALID))
Will Deacona6fadf72012-12-18 14:15:15 +0000155#define pte_valid_user(pte) \
Will Deacon02522462013-01-09 11:08:10 +0000156 ((pte_val(pte) & (PTE_VALID | PTE_USER)) == (PTE_VALID | PTE_USER))
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100157#define pte_valid_not_user(pte) \
158 ((pte_val(pte) & (PTE_VALID | PTE_USER)) == PTE_VALID)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000159
Laura Abbottb6d4f282014-08-19 20:41:42 +0100160static inline pte_t clear_pte_bit(pte_t pte, pgprot_t prot)
161{
162 pte_val(pte) &= ~pgprot_val(prot);
163 return pte;
164}
165
166static inline pte_t set_pte_bit(pte_t pte, pgprot_t prot)
167{
168 pte_val(pte) |= pgprot_val(prot);
169 return pte;
170}
171
Steve Capper44b6dfc2014-01-15 14:07:12 +0000172static inline pte_t pte_wrprotect(pte_t pte)
173{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100174 return clear_pte_bit(pte, __pgprot(PTE_WRITE));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000175}
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000176
Steve Capper44b6dfc2014-01-15 14:07:12 +0000177static inline pte_t pte_mkwrite(pte_t pte)
178{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100179 return set_pte_bit(pte, __pgprot(PTE_WRITE));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000180}
181
182static inline pte_t pte_mkclean(pte_t pte)
183{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100184 return clear_pte_bit(pte, __pgprot(PTE_DIRTY));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000185}
186
187static inline pte_t pte_mkdirty(pte_t pte)
188{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100189 return set_pte_bit(pte, __pgprot(PTE_DIRTY));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000190}
191
192static inline pte_t pte_mkold(pte_t pte)
193{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100194 return clear_pte_bit(pte, __pgprot(PTE_AF));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000195}
196
197static inline pte_t pte_mkyoung(pte_t pte)
198{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100199 return set_pte_bit(pte, __pgprot(PTE_AF));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000200}
201
202static inline pte_t pte_mkspecial(pte_t pte)
203{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100204 return set_pte_bit(pte, __pgprot(PTE_SPECIAL));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000205}
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000206
Jeremy Linton93ef6662015-10-07 12:00:21 -0500207static inline pte_t pte_mkcont(pte_t pte)
208{
209 return set_pte_bit(pte, __pgprot(PTE_CONT));
210}
211
212static inline pte_t pte_mknoncont(pte_t pte)
213{
214 return clear_pte_bit(pte, __pgprot(PTE_CONT));
215}
216
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000217static inline void set_pte(pte_t *ptep, pte_t pte)
218{
219 *ptep = pte;
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100220
221 /*
222 * Only if the new pte is valid and kernel, otherwise TLB maintenance
223 * or update_mmu_cache() have the necessary barriers.
224 */
225 if (pte_valid_not_user(pte)) {
226 dsb(ishst);
227 isb();
228 }
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000229}
230
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100231struct mm_struct;
232struct vm_area_struct;
233
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000234extern void __sync_icache_dcache(pte_t pteval, unsigned long addr);
235
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100236/*
237 * PTE bits configuration in the presence of hardware Dirty Bit Management
238 * (PTE_WRITE == PTE_DBM):
239 *
240 * Dirty Writable | PTE_RDONLY PTE_WRITE PTE_DIRTY (sw)
241 * 0 0 | 1 0 0
242 * 0 1 | 1 1 0
243 * 1 0 | 1 0 1
244 * 1 1 | 0 1 x
245 *
246 * When hardware DBM is not present, the sofware PTE_DIRTY bit is updated via
247 * the page fault mechanism. Checking the dirty status of a pte becomes:
248 *
Catalin Marinasb8474152015-09-11 18:22:00 +0100249 * PTE_DIRTY || (PTE_WRITE && !PTE_RDONLY)
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100250 */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000251static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,
252 pte_t *ptep, pte_t pte)
253{
Will Deacona6fadf72012-12-18 14:15:15 +0000254 if (pte_valid_user(pte)) {
Catalin Marinas71fdb6bf2014-03-12 16:28:09 +0000255 if (!pte_special(pte) && pte_exec(pte))
Will Deacon02522462013-01-09 11:08:10 +0000256 __sync_icache_dcache(pte, addr);
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100257 if (pte_sw_dirty(pte) && pte_write(pte))
Steve Capperc2c93e52014-01-15 14:07:13 +0000258 pte_val(pte) &= ~PTE_RDONLY;
259 else
260 pte_val(pte) |= PTE_RDONLY;
Will Deacon02522462013-01-09 11:08:10 +0000261 }
262
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100263 /*
264 * If the existing pte is valid, check for potential race with
265 * hardware updates of the pte (ptep_set_access_flags safely changes
266 * valid ptes without going through an invalid entry).
267 */
268 if (IS_ENABLED(CONFIG_DEBUG_VM) && IS_ENABLED(CONFIG_ARM64_HW_AFDBM) &&
269 pte_valid(*ptep)) {
270 BUG_ON(!pte_young(pte));
271 BUG_ON(pte_write(*ptep) && !pte_dirty(pte));
272 }
273
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000274 set_pte(ptep, pte);
275}
276
277/*
278 * Huge pte definitions.
279 */
Steve Capper084bd292013-04-10 13:48:00 +0100280#define pte_huge(pte) (!(pte_val(pte) & PTE_TABLE_BIT))
281#define pte_mkhuge(pte) (__pte(pte_val(pte) & ~PTE_TABLE_BIT))
282
283/*
284 * Hugetlb definitions.
285 */
286#define HUGE_MAX_HSTATE 2
287#define HPAGE_SHIFT PMD_SHIFT
288#define HPAGE_SIZE (_AC(1, UL) << HPAGE_SHIFT)
289#define HPAGE_MASK (~(HPAGE_SIZE - 1))
290#define HUGETLB_PAGE_ORDER (HPAGE_SHIFT - PAGE_SHIFT)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000291
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000292#define __HAVE_ARCH_PTE_SPECIAL
293
Steve Capper29e56942014-10-09 15:29:25 -0700294static inline pte_t pud_pte(pud_t pud)
295{
296 return __pte(pud_val(pud));
297}
298
299static inline pmd_t pud_pmd(pud_t pud)
300{
301 return __pmd(pud_val(pud));
302}
303
Steve Capper9c7e5352014-02-25 10:02:13 +0000304static inline pte_t pmd_pte(pmd_t pmd)
305{
306 return __pte(pmd_val(pmd));
307}
Steve Capperaf074842013-04-19 16:23:57 +0100308
Steve Capper9c7e5352014-02-25 10:02:13 +0000309static inline pmd_t pte_pmd(pte_t pte)
310{
311 return __pmd(pte_val(pte));
312}
Steve Capperaf074842013-04-19 16:23:57 +0100313
Ard Biesheuvel8ce837c2014-10-20 15:42:07 +0200314static inline pgprot_t mk_sect_prot(pgprot_t prot)
315{
316 return __pgprot(pgprot_val(prot) & ~PTE_TABLE_BIT);
317}
318
Steve Capperaf074842013-04-19 16:23:57 +0100319/*
320 * THP definitions.
321 */
Steve Capperaf074842013-04-19 16:23:57 +0100322
323#ifdef CONFIG_TRANSPARENT_HUGEPAGE
324#define pmd_trans_huge(pmd) (pmd_val(pmd) && !(pmd_val(pmd) & PMD_TABLE_BIT))
Steve Capper9c7e5352014-02-25 10:02:13 +0000325#define pmd_trans_splitting(pmd) pte_special(pmd_pte(pmd))
Steve Capper29e56942014-10-09 15:29:25 -0700326#ifdef CONFIG_HAVE_RCU_TABLE_FREE
327#define __HAVE_ARCH_PMDP_SPLITTING_FLUSH
328struct vm_area_struct;
329void pmdp_splitting_flush(struct vm_area_struct *vma, unsigned long address,
330 pmd_t *pmdp);
331#endif /* CONFIG_HAVE_RCU_TABLE_FREE */
332#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
Steve Capperaf074842013-04-19 16:23:57 +0100333
Kirill A. Shutemovc164e032014-12-10 15:44:36 -0800334#define pmd_dirty(pmd) pte_dirty(pmd_pte(pmd))
Steve Capper9c7e5352014-02-25 10:02:13 +0000335#define pmd_young(pmd) pte_young(pmd_pte(pmd))
336#define pmd_wrprotect(pmd) pte_pmd(pte_wrprotect(pmd_pte(pmd)))
337#define pmd_mksplitting(pmd) pte_pmd(pte_mkspecial(pmd_pte(pmd)))
338#define pmd_mkold(pmd) pte_pmd(pte_mkold(pmd_pte(pmd)))
339#define pmd_mkwrite(pmd) pte_pmd(pte_mkwrite(pmd_pte(pmd)))
340#define pmd_mkdirty(pmd) pte_pmd(pte_mkdirty(pmd_pte(pmd)))
341#define pmd_mkyoung(pmd) pte_pmd(pte_mkyoung(pmd_pte(pmd)))
Will Deacone3a920a2014-06-18 14:06:27 +0100342#define pmd_mknotpresent(pmd) (__pmd(pmd_val(pmd) & ~PMD_TYPE_MASK))
Steve Capperaf074842013-04-19 16:23:57 +0100343
Steve Capper9c7e5352014-02-25 10:02:13 +0000344#define __HAVE_ARCH_PMD_WRITE
345#define pmd_write(pmd) pte_write(pmd_pte(pmd))
Steve Capperaf074842013-04-19 16:23:57 +0100346
347#define pmd_mkhuge(pmd) (__pmd(pmd_val(pmd) & ~PMD_TABLE_BIT))
348
349#define pmd_pfn(pmd) (((pmd_val(pmd) & PMD_MASK) & PHYS_MASK) >> PAGE_SHIFT)
350#define pfn_pmd(pfn,prot) (__pmd(((phys_addr_t)(pfn) << PAGE_SHIFT) | pgprot_val(prot)))
351#define mk_pmd(page,prot) pfn_pmd(page_to_pfn(page),prot)
352
Steve Capper29e56942014-10-09 15:29:25 -0700353#define pud_write(pud) pte_write(pud_pte(pud))
Steve Capper206a2a72014-05-06 14:02:27 +0100354#define pud_pfn(pud) (((pud_val(pud) & PUD_MASK) & PHYS_MASK) >> PAGE_SHIFT)
Steve Capperaf074842013-04-19 16:23:57 +0100355
Will Deaconceb21832014-05-27 19:11:58 +0100356#define set_pmd_at(mm, addr, pmdp, pmd) set_pte_at(mm, addr, (pte_t *)pmdp, pmd_pte(pmd))
Steve Capperaf074842013-04-19 16:23:57 +0100357
358static inline int has_transparent_hugepage(void)
359{
360 return 1;
361}
362
Catalin Marinasa501e322014-04-03 15:57:15 +0100363#define __pgprot_modify(prot,mask,bits) \
364 __pgprot((pgprot_val(prot) & ~(mask)) | (bits))
365
Steve Capperaf074842013-04-19 16:23:57 +0100366/*
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000367 * Mark the prot value as uncacheable and unbufferable.
368 */
369#define pgprot_noncached(prot) \
Catalin Marinasde2db742014-03-12 16:07:06 +0000370 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_DEVICE_nGnRnE) | PTE_PXN | PTE_UXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000371#define pgprot_writecombine(prot) \
Catalin Marinasde2db742014-03-12 16:07:06 +0000372 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_NORMAL_NC) | PTE_PXN | PTE_UXN)
Liviu Dudaud1e6dc92014-09-29 15:29:31 +0100373#define pgprot_device(prot) \
374 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_DEVICE_nGnRE) | PTE_PXN | PTE_UXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000375#define __HAVE_PHYS_MEM_ACCESS_PROT
376struct file;
377extern pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn,
378 unsigned long size, pgprot_t vma_prot);
379
380#define pmd_none(pmd) (!pmd_val(pmd))
381#define pmd_present(pmd) (pmd_val(pmd))
382
383#define pmd_bad(pmd) (!(pmd_val(pmd) & 2))
384
Marc Zyngier36311602012-12-07 18:35:41 +0000385#define pmd_table(pmd) ((pmd_val(pmd) & PMD_TYPE_MASK) == \
386 PMD_TYPE_TABLE)
387#define pmd_sect(pmd) ((pmd_val(pmd) & PMD_TYPE_MASK) == \
388 PMD_TYPE_SECT)
389
Steve Capperf3b766a2014-06-25 08:41:45 +0100390#ifdef CONFIG_ARM64_64K_PAGES
Steve Capper206a2a72014-05-06 14:02:27 +0100391#define pud_sect(pud) (0)
zhichang.yuan523d6e92014-12-09 07:26:47 +0000392#define pud_table(pud) (1)
Steve Capper206a2a72014-05-06 14:02:27 +0100393#else
394#define pud_sect(pud) ((pud_val(pud) & PUD_TYPE_MASK) == \
395 PUD_TYPE_SECT)
zhichang.yuan523d6e92014-12-09 07:26:47 +0000396#define pud_table(pud) ((pud_val(pud) & PUD_TYPE_MASK) == \
397 PUD_TYPE_TABLE)
Steve Capper206a2a72014-05-06 14:02:27 +0100398#endif
Marc Zyngier36311602012-12-07 18:35:41 +0000399
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000400static inline void set_pmd(pmd_t *pmdp, pmd_t pmd)
401{
402 *pmdp = pmd;
Will Deacon98f76852014-05-02 16:24:10 +0100403 dsb(ishst);
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100404 isb();
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000405}
406
407static inline void pmd_clear(pmd_t *pmdp)
408{
409 set_pmd(pmdp, __pmd(0));
410}
411
412static inline pte_t *pmd_page_vaddr(pmd_t pmd)
413{
414 return __va(pmd_val(pmd) & PHYS_MASK & (s32)PAGE_MASK);
415}
416
417#define pmd_page(pmd) pfn_to_page(__phys_to_pfn(pmd_val(pmd) & PHYS_MASK))
418
419/*
420 * Conversion functions: convert a page and protection to a page entry,
421 * and a page entry and page directory to the page they refer to.
422 */
423#define mk_pte(page,prot) pfn_pte(page_to_pfn(page),prot)
424
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700425#if CONFIG_PGTABLE_LEVELS > 2
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000426
Catalin Marinas7078db42014-07-21 14:52:49 +0100427#define pmd_ERROR(pmd) __pmd_error(__FILE__, __LINE__, pmd_val(pmd))
428
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000429#define pud_none(pud) (!pud_val(pud))
430#define pud_bad(pud) (!(pud_val(pud) & 2))
431#define pud_present(pud) (pud_val(pud))
432
433static inline void set_pud(pud_t *pudp, pud_t pud)
434{
435 *pudp = pud;
Will Deacon98f76852014-05-02 16:24:10 +0100436 dsb(ishst);
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100437 isb();
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000438}
439
440static inline void pud_clear(pud_t *pudp)
441{
442 set_pud(pudp, __pud(0));
443}
444
445static inline pmd_t *pud_page_vaddr(pud_t pud)
446{
447 return __va(pud_val(pud) & PHYS_MASK & (s32)PAGE_MASK);
448}
449
Catalin Marinas7078db42014-07-21 14:52:49 +0100450/* Find an entry in the second-level page table. */
451#define pmd_index(addr) (((addr) >> PMD_SHIFT) & (PTRS_PER_PMD - 1))
452
453static inline pmd_t *pmd_offset(pud_t *pud, unsigned long addr)
454{
455 return (pmd_t *)pud_page_vaddr(*pud) + pmd_index(addr);
456}
457
Jungseok Lee5d96e0c2014-12-20 00:49:40 +0000458#define pud_page(pud) pfn_to_page(__phys_to_pfn(pud_val(pud) & PHYS_MASK))
Steve Capper29e56942014-10-09 15:29:25 -0700459
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700460#endif /* CONFIG_PGTABLE_LEVELS > 2 */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000461
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700462#if CONFIG_PGTABLE_LEVELS > 3
Jungseok Leec79b954b2014-05-12 18:40:51 +0900463
Catalin Marinas7078db42014-07-21 14:52:49 +0100464#define pud_ERROR(pud) __pud_error(__FILE__, __LINE__, pud_val(pud))
465
Jungseok Leec79b954b2014-05-12 18:40:51 +0900466#define pgd_none(pgd) (!pgd_val(pgd))
467#define pgd_bad(pgd) (!(pgd_val(pgd) & 2))
468#define pgd_present(pgd) (pgd_val(pgd))
469
470static inline void set_pgd(pgd_t *pgdp, pgd_t pgd)
471{
472 *pgdp = pgd;
473 dsb(ishst);
474}
475
476static inline void pgd_clear(pgd_t *pgdp)
477{
478 set_pgd(pgdp, __pgd(0));
479}
480
481static inline pud_t *pgd_page_vaddr(pgd_t pgd)
482{
483 return __va(pgd_val(pgd) & PHYS_MASK & (s32)PAGE_MASK);
484}
485
Catalin Marinas7078db42014-07-21 14:52:49 +0100486/* Find an entry in the frst-level page table. */
487#define pud_index(addr) (((addr) >> PUD_SHIFT) & (PTRS_PER_PUD - 1))
488
489static inline pud_t *pud_offset(pgd_t *pgd, unsigned long addr)
490{
491 return (pud_t *)pgd_page_vaddr(*pgd) + pud_index(addr);
492}
493
Jungseok Lee5d96e0c2014-12-20 00:49:40 +0000494#define pgd_page(pgd) pfn_to_page(__phys_to_pfn(pgd_val(pgd) & PHYS_MASK))
495
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700496#endif /* CONFIG_PGTABLE_LEVELS > 3 */
Jungseok Leec79b954b2014-05-12 18:40:51 +0900497
Catalin Marinas7078db42014-07-21 14:52:49 +0100498#define pgd_ERROR(pgd) __pgd_error(__FILE__, __LINE__, pgd_val(pgd))
499
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000500/* to find an entry in a page-table-directory */
501#define pgd_index(addr) (((addr) >> PGDIR_SHIFT) & (PTRS_PER_PGD - 1))
502
503#define pgd_offset(mm, addr) ((mm)->pgd+pgd_index(addr))
504
505/* to find an entry in a kernel page-table-directory */
506#define pgd_offset_k(addr) pgd_offset(&init_mm, addr)
507
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000508static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
509{
Will Deacona6fadf72012-12-18 14:15:15 +0000510 const pteval_t mask = PTE_USER | PTE_PXN | PTE_UXN | PTE_RDONLY |
Steve Capper1a541b42015-10-01 13:06:07 +0100511 PTE_PROT_NONE | PTE_VALID | PTE_WRITE;
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100512 /* preserve the hardware dirty information */
513 if (pte_hw_dirty(pte))
Catalin Marinas62d96c72015-09-11 18:22:01 +0100514 pte = pte_mkdirty(pte);
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000515 pte_val(pte) = (pte_val(pte) & ~mask) | (pgprot_val(newprot) & mask);
516 return pte;
517}
518
Steve Capper9c7e5352014-02-25 10:02:13 +0000519static inline pmd_t pmd_modify(pmd_t pmd, pgprot_t newprot)
520{
521 return pte_pmd(pte_modify(pmd_pte(pmd), newprot));
522}
523
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100524#ifdef CONFIG_ARM64_HW_AFDBM
525/*
526 * Atomic pte/pmd modifications.
527 */
528#define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_YOUNG
529static inline int ptep_test_and_clear_young(struct vm_area_struct *vma,
530 unsigned long address,
531 pte_t *ptep)
532{
533 pteval_t pteval;
534 unsigned int tmp, res;
535
536 asm volatile("// ptep_test_and_clear_young\n"
537 " prfm pstl1strm, %2\n"
538 "1: ldxr %0, %2\n"
539 " ubfx %w3, %w0, %5, #1 // extract PTE_AF (young)\n"
540 " and %0, %0, %4 // clear PTE_AF\n"
541 " stxr %w1, %0, %2\n"
542 " cbnz %w1, 1b\n"
543 : "=&r" (pteval), "=&r" (tmp), "+Q" (pte_val(*ptep)), "=&r" (res)
544 : "L" (~PTE_AF), "I" (ilog2(PTE_AF)));
545
546 return res;
547}
548
549#ifdef CONFIG_TRANSPARENT_HUGEPAGE
550#define __HAVE_ARCH_PMDP_TEST_AND_CLEAR_YOUNG
551static inline int pmdp_test_and_clear_young(struct vm_area_struct *vma,
552 unsigned long address,
553 pmd_t *pmdp)
554{
555 return ptep_test_and_clear_young(vma, address, (pte_t *)pmdp);
556}
557#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
558
559#define __HAVE_ARCH_PTEP_GET_AND_CLEAR
560static inline pte_t ptep_get_and_clear(struct mm_struct *mm,
561 unsigned long address, pte_t *ptep)
562{
563 pteval_t old_pteval;
564 unsigned int tmp;
565
566 asm volatile("// ptep_get_and_clear\n"
567 " prfm pstl1strm, %2\n"
568 "1: ldxr %0, %2\n"
569 " stxr %w1, xzr, %2\n"
570 " cbnz %w1, 1b\n"
571 : "=&r" (old_pteval), "=&r" (tmp), "+Q" (pte_val(*ptep)));
572
573 return __pte(old_pteval);
574}
575
576#ifdef CONFIG_TRANSPARENT_HUGEPAGE
577#define __HAVE_ARCH_PMDP_GET_AND_CLEAR
578static inline pmd_t pmdp_get_and_clear(struct mm_struct *mm,
579 unsigned long address, pmd_t *pmdp)
580{
581 return pte_pmd(ptep_get_and_clear(mm, address, (pte_t *)pmdp));
582}
583#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
584
585/*
586 * ptep_set_wrprotect - mark read-only while trasferring potential hardware
587 * dirty status (PTE_DBM && !PTE_RDONLY) to the software PTE_DIRTY bit.
588 */
589#define __HAVE_ARCH_PTEP_SET_WRPROTECT
590static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long address, pte_t *ptep)
591{
592 pteval_t pteval;
593 unsigned long tmp;
594
595 asm volatile("// ptep_set_wrprotect\n"
596 " prfm pstl1strm, %2\n"
597 "1: ldxr %0, %2\n"
598 " tst %0, %4 // check for hw dirty (!PTE_RDONLY)\n"
599 " csel %1, %3, xzr, eq // set PTE_DIRTY|PTE_RDONLY if dirty\n"
600 " orr %0, %0, %1 // if !dirty, PTE_RDONLY is already set\n"
601 " and %0, %0, %5 // clear PTE_WRITE/PTE_DBM\n"
602 " stxr %w1, %0, %2\n"
603 " cbnz %w1, 1b\n"
604 : "=&r" (pteval), "=&r" (tmp), "+Q" (pte_val(*ptep))
605 : "r" (PTE_DIRTY|PTE_RDONLY), "L" (PTE_RDONLY), "L" (~PTE_WRITE)
606 : "cc");
607}
608
609#ifdef CONFIG_TRANSPARENT_HUGEPAGE
610#define __HAVE_ARCH_PMDP_SET_WRPROTECT
611static inline void pmdp_set_wrprotect(struct mm_struct *mm,
612 unsigned long address, pmd_t *pmdp)
613{
614 ptep_set_wrprotect(mm, address, (pte_t *)pmdp);
615}
616#endif
617#endif /* CONFIG_ARM64_HW_AFDBM */
618
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000619extern pgd_t swapper_pg_dir[PTRS_PER_PGD];
620extern pgd_t idmap_pg_dir[PTRS_PER_PGD];
621
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000622/*
623 * Encode and decode a swap entry:
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000624 * bits 0-1: present (must be zero)
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800625 * bits 2-7: swap type
626 * bits 8-57: swap offset
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000627 */
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800628#define __SWP_TYPE_SHIFT 2
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000629#define __SWP_TYPE_BITS 6
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800630#define __SWP_OFFSET_BITS 50
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000631#define __SWP_TYPE_MASK ((1 << __SWP_TYPE_BITS) - 1)
632#define __SWP_OFFSET_SHIFT (__SWP_TYPE_BITS + __SWP_TYPE_SHIFT)
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000633#define __SWP_OFFSET_MASK ((1UL << __SWP_OFFSET_BITS) - 1)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000634
635#define __swp_type(x) (((x).val >> __SWP_TYPE_SHIFT) & __SWP_TYPE_MASK)
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000636#define __swp_offset(x) (((x).val >> __SWP_OFFSET_SHIFT) & __SWP_OFFSET_MASK)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000637#define __swp_entry(type,offset) ((swp_entry_t) { ((type) << __SWP_TYPE_SHIFT) | ((offset) << __SWP_OFFSET_SHIFT) })
638
639#define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })
640#define __swp_entry_to_pte(swp) ((pte_t) { (swp).val })
641
642/*
643 * Ensure that there are not more swap files than can be encoded in the kernel
Geert Uytterhoevenaad90612014-03-11 11:23:39 +0100644 * PTEs.
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000645 */
646#define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > __SWP_TYPE_BITS)
647
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000648extern int kern_addr_valid(unsigned long addr);
649
650#include <asm-generic/pgtable.h>
651
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000652#define pgtable_cache_init() do { } while (0)
653
Will Deaconcba35742015-07-16 19:26:02 +0100654/*
655 * On AArch64, the cache coherency is handled via the set_pte_at() function.
656 */
657static inline void update_mmu_cache(struct vm_area_struct *vma,
658 unsigned long addr, pte_t *ptep)
659{
660 /*
Will Deacon120798d2015-10-06 18:46:30 +0100661 * We don't do anything here, so there's a very small chance of
662 * us retaking a user fault which we just fixed up. The alternative
663 * is doing a dsb(ishst), but that penalises the fastpath.
Will Deaconcba35742015-07-16 19:26:02 +0100664 */
Will Deaconcba35742015-07-16 19:26:02 +0100665}
666
667#define update_mmu_cache_pmd(vma, address, pmd) do { } while (0)
668
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000669#endif /* !__ASSEMBLY__ */
670
671#endif /* __ASM_PGTABLE_H */