blob: 35a318c2fd872ab11167fc0c1373704f44657867 [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 Ryabinin39d114d2015-10-12 18:52:58 +030044
45#ifndef CONFIG_KASAN
Andrey Ryabinin127db022015-09-17 12:38:07 +030046#define VMALLOC_START (VA_START)
Andrey Ryabinin39d114d2015-10-12 18:52:58 +030047#else
48#include <asm/kasan.h>
49#define VMALLOC_START (KASAN_SHADOW_END + SZ_64K)
50#endif
51
Catalin Marinas08375192014-07-16 17:42:43 +010052#define VMALLOC_END (PAGE_OFFSET - PUD_SIZE - VMEMMAP_SIZE - SZ_64K)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000053
54#define vmemmap ((struct page *)(VMALLOC_END + SZ_64K))
55
Kirill A. Shutemovd016bf72015-02-11 15:26:41 -080056#define FIRST_USER_ADDRESS 0UL
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000057
58#ifndef __ASSEMBLY__
Catalin Marinas2f4b8292015-07-10 17:24:28 +010059
60#include <linux/mmdebug.h>
61
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000062extern void __pte_error(const char *file, int line, unsigned long val);
63extern void __pmd_error(const char *file, int line, unsigned long val);
Jungseok Leec79b954b2014-05-12 18:40:51 +090064extern void __pud_error(const char *file, int line, unsigned long val);
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000065extern void __pgd_error(const char *file, int line, unsigned long val);
66
Catalin Marinasa501e322014-04-03 15:57:15 +010067#define PROT_DEFAULT (PTE_TYPE_PAGE | PTE_AF | PTE_SHARED)
68#define PROT_SECT_DEFAULT (PMD_TYPE_SECT | PMD_SECT_AF | PMD_SECT_S)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000069
Jonathan (Zhixiong) Zhang8d446c82015-08-07 09:36:59 +010070#define PROT_DEVICE_nGnRnE (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_DEVICE_nGnRnE))
Catalin Marinasa501e322014-04-03 15:57:15 +010071#define PROT_DEVICE_nGnRE (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_DEVICE_nGnRE))
72#define PROT_NORMAL_NC (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_NORMAL_NC))
Jonathan (Zhixiong) Zhang8d446c82015-08-07 09:36:59 +010073#define PROT_NORMAL_WT (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_NORMAL_WT))
Catalin Marinasa501e322014-04-03 15:57:15 +010074#define PROT_NORMAL (PROT_DEFAULT | PTE_PXN | PTE_UXN | PTE_ATTRINDX(MT_NORMAL))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000075
Catalin Marinasa501e322014-04-03 15:57:15 +010076#define PROT_SECT_DEVICE_nGnRE (PROT_SECT_DEFAULT | PMD_SECT_PXN | PMD_SECT_UXN | PMD_ATTRINDX(MT_DEVICE_nGnRE))
77#define PROT_SECT_NORMAL (PROT_SECT_DEFAULT | PMD_SECT_PXN | PMD_SECT_UXN | PMD_ATTRINDX(MT_NORMAL))
78#define PROT_SECT_NORMAL_EXEC (PROT_SECT_DEFAULT | PMD_SECT_UXN | PMD_ATTRINDX(MT_NORMAL))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000079
Catalin Marinasa501e322014-04-03 15:57:15 +010080#define _PAGE_DEFAULT (PROT_DEFAULT | PTE_ATTRINDX(MT_NORMAL))
Will Deacona6fadf72012-12-18 14:15:15 +000081
Catalin Marinasa501e322014-04-03 15:57:15 +010082#define PAGE_KERNEL __pgprot(_PAGE_DEFAULT | PTE_PXN | PTE_UXN | PTE_DIRTY | PTE_WRITE)
Ard Biesheuvelfb226c32015-11-09 09:55:46 +010083#define PAGE_KERNEL_RO __pgprot(_PAGE_DEFAULT | PTE_PXN | PTE_UXN | PTE_DIRTY | PTE_RDONLY)
Laura Abbott0b2aa5b2015-11-12 12:21:10 -080084#define PAGE_KERNEL_ROX __pgprot(_PAGE_DEFAULT | PTE_UXN | PTE_DIRTY | PTE_RDONLY)
Catalin Marinasa501e322014-04-03 15:57:15 +010085#define PAGE_KERNEL_EXEC __pgprot(_PAGE_DEFAULT | PTE_UXN | PTE_DIRTY | PTE_WRITE)
Jeremy Linton06f90d22015-10-07 12:00:22 -050086#define PAGE_KERNEL_EXEC_CONT __pgprot(_PAGE_DEFAULT | PTE_UXN | PTE_DIRTY | PTE_WRITE | PTE_CONT)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +000087
Catalin Marinasa501e322014-04-03 15:57:15 +010088#define PAGE_HYP __pgprot(_PAGE_DEFAULT | PTE_HYP)
Marc Zyngier36311602012-12-07 18:35:41 +000089#define PAGE_HYP_DEVICE __pgprot(PROT_DEVICE_nGnRE | PTE_HYP)
90
Catalin Marinasa501e322014-04-03 15:57:15 +010091#define PAGE_S2 __pgprot(PROT_DEFAULT | PTE_S2_MEMATTR(MT_S2_NORMAL) | PTE_S2_RDONLY)
Ard Biesheuvel4a513fb2014-09-17 14:56:20 -070092#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 +000093
Steve Capper1a541b42015-10-01 13:06:07 +010094#define PAGE_NONE __pgprot(((_PAGE_DEFAULT) & ~PTE_VALID) | PTE_PROT_NONE | PTE_PXN | PTE_UXN)
Catalin Marinasa501e322014-04-03 15:57:15 +010095#define PAGE_SHARED __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN | PTE_WRITE)
96#define PAGE_SHARED_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_WRITE)
97#define PAGE_COPY __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN)
98#define PAGE_COPY_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN)
99#define PAGE_READONLY __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN | PTE_UXN)
100#define PAGE_READONLY_EXEC __pgprot(_PAGE_DEFAULT | PTE_USER | PTE_NG | PTE_PXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000101
Catalin Marinasa501e322014-04-03 15:57:15 +0100102#define __P000 PAGE_NONE
103#define __P001 PAGE_READONLY
104#define __P010 PAGE_COPY
105#define __P011 PAGE_COPY
Catalin Marinas5a0fdfa2014-05-16 16:44:32 +0100106#define __P100 PAGE_READONLY_EXEC
Catalin Marinasa501e322014-04-03 15:57:15 +0100107#define __P101 PAGE_READONLY_EXEC
108#define __P110 PAGE_COPY_EXEC
109#define __P111 PAGE_COPY_EXEC
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000110
Catalin Marinasa501e322014-04-03 15:57:15 +0100111#define __S000 PAGE_NONE
112#define __S001 PAGE_READONLY
113#define __S010 PAGE_SHARED
114#define __S011 PAGE_SHARED
Catalin Marinas5a0fdfa2014-05-16 16:44:32 +0100115#define __S100 PAGE_READONLY_EXEC
Catalin Marinasa501e322014-04-03 15:57:15 +0100116#define __S101 PAGE_READONLY_EXEC
117#define __S110 PAGE_SHARED_EXEC
118#define __S111 PAGE_SHARED_EXEC
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000119
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000120/*
121 * ZERO_PAGE is a global shared page that is always zero: used
122 * for zero-mapped memory areas etc..
123 */
124extern struct page *empty_zero_page;
125#define ZERO_PAGE(vaddr) (empty_zero_page)
126
Catalin Marinas7078db42014-07-21 14:52:49 +0100127#define pte_ERROR(pte) __pte_error(__FILE__, __LINE__, pte_val(pte))
128
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000129#define pte_pfn(pte) ((pte_val(pte) & PHYS_MASK) >> PAGE_SHIFT)
130
131#define pfn_pte(pfn,prot) (__pte(((phys_addr_t)(pfn) << PAGE_SHIFT) | pgprot_val(prot)))
132
133#define pte_none(pte) (!pte_val(pte))
134#define pte_clear(mm,addr,ptep) set_pte(ptep, __pte(0))
135#define pte_page(pte) (pfn_to_page(pte_pfn(pte)))
Catalin Marinas7078db42014-07-21 14:52:49 +0100136
137/* Find an entry in the third-level page table. */
138#define pte_index(addr) (((addr) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))
139
Will Deacon9ab6d022013-06-10 19:34:41 +0100140#define pte_offset_kernel(dir,addr) (pmd_page_vaddr(*(dir)) + pte_index(addr))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000141
142#define pte_offset_map(dir,addr) pte_offset_kernel((dir), (addr))
143#define pte_offset_map_nested(dir,addr) pte_offset_kernel((dir), (addr))
144#define pte_unmap(pte) do { } while (0)
145#define pte_unmap_nested(pte) do { } while (0)
146
147/*
148 * The following only work if pte_present(). Undefined behaviour otherwise.
149 */
Steve Capper84fe6822014-02-25 11:38:53 +0000150#define pte_present(pte) (!!(pte_val(pte) & (PTE_VALID | PTE_PROT_NONE)))
Steve Capper84fe6822014-02-25 11:38:53 +0000151#define pte_young(pte) (!!(pte_val(pte) & PTE_AF))
152#define pte_special(pte) (!!(pte_val(pte) & PTE_SPECIAL))
153#define pte_write(pte) (!!(pte_val(pte) & PTE_WRITE))
Catalin Marinas8e620b02012-11-15 17:21:16 +0000154#define pte_exec(pte) (!(pte_val(pte) & PTE_UXN))
Jeremy Linton93ef6662015-10-07 12:00:21 -0500155#define pte_cont(pte) (!!(pte_val(pte) & PTE_CONT))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000156
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100157#ifdef CONFIG_ARM64_HW_AFDBM
Catalin Marinasb8474152015-09-11 18:22:00 +0100158#define pte_hw_dirty(pte) (pte_write(pte) && !(pte_val(pte) & PTE_RDONLY))
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100159#else
160#define pte_hw_dirty(pte) (0)
161#endif
162#define pte_sw_dirty(pte) (!!(pte_val(pte) & PTE_DIRTY))
163#define pte_dirty(pte) (pte_sw_dirty(pte) || pte_hw_dirty(pte))
164
Will Deacon766ffb62015-07-28 16:14:03 +0100165#define pte_valid(pte) (!!(pte_val(pte) & PTE_VALID))
Will Deacona6fadf72012-12-18 14:15:15 +0000166#define pte_valid_user(pte) \
Will Deacon02522462013-01-09 11:08:10 +0000167 ((pte_val(pte) & (PTE_VALID | PTE_USER)) == (PTE_VALID | PTE_USER))
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100168#define pte_valid_not_user(pte) \
169 ((pte_val(pte) & (PTE_VALID | PTE_USER)) == PTE_VALID)
Will Deacon76c714b2015-10-30 18:56:19 +0000170#define pte_valid_young(pte) \
171 ((pte_val(pte) & (PTE_VALID | PTE_AF)) == (PTE_VALID | PTE_AF))
172
173/*
174 * Could the pte be present in the TLB? We must check mm_tlb_flush_pending
175 * so that we don't erroneously return false for pages that have been
176 * remapped as PROT_NONE but are yet to be flushed from the TLB.
177 */
178#define pte_accessible(mm, pte) \
179 (mm_tlb_flush_pending(mm) ? pte_present(pte) : pte_valid_young(pte))
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000180
Laura Abbottb6d4f282014-08-19 20:41:42 +0100181static inline pte_t clear_pte_bit(pte_t pte, pgprot_t prot)
182{
183 pte_val(pte) &= ~pgprot_val(prot);
184 return pte;
185}
186
187static inline pte_t set_pte_bit(pte_t pte, pgprot_t prot)
188{
189 pte_val(pte) |= pgprot_val(prot);
190 return pte;
191}
192
Steve Capper44b6dfc2014-01-15 14:07:12 +0000193static inline pte_t pte_wrprotect(pte_t pte)
194{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100195 return clear_pte_bit(pte, __pgprot(PTE_WRITE));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000196}
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000197
Steve Capper44b6dfc2014-01-15 14:07:12 +0000198static inline pte_t pte_mkwrite(pte_t pte)
199{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100200 return set_pte_bit(pte, __pgprot(PTE_WRITE));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000201}
202
203static inline pte_t pte_mkclean(pte_t pte)
204{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100205 return clear_pte_bit(pte, __pgprot(PTE_DIRTY));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000206}
207
208static inline pte_t pte_mkdirty(pte_t pte)
209{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100210 return set_pte_bit(pte, __pgprot(PTE_DIRTY));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000211}
212
213static inline pte_t pte_mkold(pte_t pte)
214{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100215 return clear_pte_bit(pte, __pgprot(PTE_AF));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000216}
217
218static inline pte_t pte_mkyoung(pte_t pte)
219{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100220 return set_pte_bit(pte, __pgprot(PTE_AF));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000221}
222
223static inline pte_t pte_mkspecial(pte_t pte)
224{
Laura Abbottb6d4f282014-08-19 20:41:42 +0100225 return set_pte_bit(pte, __pgprot(PTE_SPECIAL));
Steve Capper44b6dfc2014-01-15 14:07:12 +0000226}
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000227
Jeremy Linton93ef6662015-10-07 12:00:21 -0500228static inline pte_t pte_mkcont(pte_t pte)
229{
David Woods66b39232015-12-17 14:31:26 -0500230 pte = set_pte_bit(pte, __pgprot(PTE_CONT));
231 return set_pte_bit(pte, __pgprot(PTE_TYPE_PAGE));
Jeremy Linton93ef6662015-10-07 12:00:21 -0500232}
233
234static inline pte_t pte_mknoncont(pte_t pte)
235{
236 return clear_pte_bit(pte, __pgprot(PTE_CONT));
237}
238
David Woods66b39232015-12-17 14:31:26 -0500239static inline pmd_t pmd_mkcont(pmd_t pmd)
240{
241 return __pmd(pmd_val(pmd) | PMD_SECT_CONT);
242}
243
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000244static inline void set_pte(pte_t *ptep, pte_t pte)
245{
246 *ptep = pte;
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100247
248 /*
249 * Only if the new pte is valid and kernel, otherwise TLB maintenance
250 * or update_mmu_cache() have the necessary barriers.
251 */
252 if (pte_valid_not_user(pte)) {
253 dsb(ishst);
254 isb();
255 }
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000256}
257
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100258struct mm_struct;
259struct vm_area_struct;
260
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000261extern void __sync_icache_dcache(pte_t pteval, unsigned long addr);
262
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100263/*
264 * PTE bits configuration in the presence of hardware Dirty Bit Management
265 * (PTE_WRITE == PTE_DBM):
266 *
267 * Dirty Writable | PTE_RDONLY PTE_WRITE PTE_DIRTY (sw)
268 * 0 0 | 1 0 0
269 * 0 1 | 1 1 0
270 * 1 0 | 1 0 1
271 * 1 1 | 0 1 x
272 *
273 * When hardware DBM is not present, the sofware PTE_DIRTY bit is updated via
274 * the page fault mechanism. Checking the dirty status of a pte becomes:
275 *
Catalin Marinasb8474152015-09-11 18:22:00 +0100276 * PTE_DIRTY || (PTE_WRITE && !PTE_RDONLY)
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100277 */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000278static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,
279 pte_t *ptep, pte_t pte)
280{
Will Deacona6fadf72012-12-18 14:15:15 +0000281 if (pte_valid_user(pte)) {
Catalin Marinas71fdb6bf2014-03-12 16:28:09 +0000282 if (!pte_special(pte) && pte_exec(pte))
Will Deacon02522462013-01-09 11:08:10 +0000283 __sync_icache_dcache(pte, addr);
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100284 if (pte_sw_dirty(pte) && pte_write(pte))
Steve Capperc2c93e52014-01-15 14:07:13 +0000285 pte_val(pte) &= ~PTE_RDONLY;
286 else
287 pte_val(pte) |= PTE_RDONLY;
Will Deacon02522462013-01-09 11:08:10 +0000288 }
289
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100290 /*
291 * If the existing pte is valid, check for potential race with
292 * hardware updates of the pte (ptep_set_access_flags safely changes
293 * valid ptes without going through an invalid entry).
294 */
295 if (IS_ENABLED(CONFIG_DEBUG_VM) && IS_ENABLED(CONFIG_ARM64_HW_AFDBM) &&
296 pte_valid(*ptep)) {
297 BUG_ON(!pte_young(pte));
298 BUG_ON(pte_write(*ptep) && !pte_dirty(pte));
299 }
300
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000301 set_pte(ptep, pte);
302}
303
304/*
305 * Huge pte definitions.
306 */
Steve Capper084bd292013-04-10 13:48:00 +0100307#define pte_huge(pte) (!(pte_val(pte) & PTE_TABLE_BIT))
308#define pte_mkhuge(pte) (__pte(pte_val(pte) & ~PTE_TABLE_BIT))
309
310/*
311 * Hugetlb definitions.
312 */
David Woods66b39232015-12-17 14:31:26 -0500313#define HUGE_MAX_HSTATE 4
Steve Capper084bd292013-04-10 13:48:00 +0100314#define HPAGE_SHIFT PMD_SHIFT
315#define HPAGE_SIZE (_AC(1, UL) << HPAGE_SHIFT)
316#define HPAGE_MASK (~(HPAGE_SIZE - 1))
317#define HUGETLB_PAGE_ORDER (HPAGE_SHIFT - PAGE_SHIFT)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000318
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000319#define __HAVE_ARCH_PTE_SPECIAL
320
Steve Capper29e56942014-10-09 15:29:25 -0700321static inline pte_t pud_pte(pud_t pud)
322{
323 return __pte(pud_val(pud));
324}
325
326static inline pmd_t pud_pmd(pud_t pud)
327{
328 return __pmd(pud_val(pud));
329}
330
Steve Capper9c7e5352014-02-25 10:02:13 +0000331static inline pte_t pmd_pte(pmd_t pmd)
332{
333 return __pte(pmd_val(pmd));
334}
Steve Capperaf074842013-04-19 16:23:57 +0100335
Steve Capper9c7e5352014-02-25 10:02:13 +0000336static inline pmd_t pte_pmd(pte_t pte)
337{
338 return __pmd(pte_val(pte));
339}
Steve Capperaf074842013-04-19 16:23:57 +0100340
Ard Biesheuvel8ce837c2014-10-20 15:42:07 +0200341static inline pgprot_t mk_sect_prot(pgprot_t prot)
342{
343 return __pgprot(pgprot_val(prot) & ~PTE_TABLE_BIT);
344}
345
Steve Capperaf074842013-04-19 16:23:57 +0100346/*
347 * THP definitions.
348 */
Steve Capperaf074842013-04-19 16:23:57 +0100349
350#ifdef CONFIG_TRANSPARENT_HUGEPAGE
351#define pmd_trans_huge(pmd) (pmd_val(pmd) && !(pmd_val(pmd) & PMD_TABLE_BIT))
Steve Capper9c7e5352014-02-25 10:02:13 +0000352#define pmd_trans_splitting(pmd) pte_special(pmd_pte(pmd))
Steve Capper29e56942014-10-09 15:29:25 -0700353#ifdef CONFIG_HAVE_RCU_TABLE_FREE
354#define __HAVE_ARCH_PMDP_SPLITTING_FLUSH
355struct vm_area_struct;
356void pmdp_splitting_flush(struct vm_area_struct *vma, unsigned long address,
357 pmd_t *pmdp);
358#endif /* CONFIG_HAVE_RCU_TABLE_FREE */
359#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
Steve Capperaf074842013-04-19 16:23:57 +0100360
Kirill A. Shutemovc164e032014-12-10 15:44:36 -0800361#define pmd_dirty(pmd) pte_dirty(pmd_pte(pmd))
Steve Capper9c7e5352014-02-25 10:02:13 +0000362#define pmd_young(pmd) pte_young(pmd_pte(pmd))
363#define pmd_wrprotect(pmd) pte_pmd(pte_wrprotect(pmd_pte(pmd)))
364#define pmd_mksplitting(pmd) pte_pmd(pte_mkspecial(pmd_pte(pmd)))
365#define pmd_mkold(pmd) pte_pmd(pte_mkold(pmd_pte(pmd)))
366#define pmd_mkwrite(pmd) pte_pmd(pte_mkwrite(pmd_pte(pmd)))
367#define pmd_mkdirty(pmd) pte_pmd(pte_mkdirty(pmd_pte(pmd)))
368#define pmd_mkyoung(pmd) pte_pmd(pte_mkyoung(pmd_pte(pmd)))
Will Deacone3a920a2014-06-18 14:06:27 +0100369#define pmd_mknotpresent(pmd) (__pmd(pmd_val(pmd) & ~PMD_TYPE_MASK))
Steve Capperaf074842013-04-19 16:23:57 +0100370
Steve Capper9c7e5352014-02-25 10:02:13 +0000371#define __HAVE_ARCH_PMD_WRITE
372#define pmd_write(pmd) pte_write(pmd_pte(pmd))
Steve Capperaf074842013-04-19 16:23:57 +0100373
374#define pmd_mkhuge(pmd) (__pmd(pmd_val(pmd) & ~PMD_TABLE_BIT))
375
376#define pmd_pfn(pmd) (((pmd_val(pmd) & PMD_MASK) & PHYS_MASK) >> PAGE_SHIFT)
377#define pfn_pmd(pfn,prot) (__pmd(((phys_addr_t)(pfn) << PAGE_SHIFT) | pgprot_val(prot)))
378#define mk_pmd(page,prot) pfn_pmd(page_to_pfn(page),prot)
379
Steve Capper29e56942014-10-09 15:29:25 -0700380#define pud_write(pud) pte_write(pud_pte(pud))
Steve Capper206a2a72014-05-06 14:02:27 +0100381#define pud_pfn(pud) (((pud_val(pud) & PUD_MASK) & PHYS_MASK) >> PAGE_SHIFT)
Steve Capperaf074842013-04-19 16:23:57 +0100382
Will Deaconceb21832014-05-27 19:11:58 +0100383#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 +0100384
385static inline int has_transparent_hugepage(void)
386{
387 return 1;
388}
389
Catalin Marinasa501e322014-04-03 15:57:15 +0100390#define __pgprot_modify(prot,mask,bits) \
391 __pgprot((pgprot_val(prot) & ~(mask)) | (bits))
392
Steve Capperaf074842013-04-19 16:23:57 +0100393/*
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000394 * Mark the prot value as uncacheable and unbufferable.
395 */
396#define pgprot_noncached(prot) \
Catalin Marinasde2db742014-03-12 16:07:06 +0000397 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_DEVICE_nGnRnE) | PTE_PXN | PTE_UXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000398#define pgprot_writecombine(prot) \
Catalin Marinasde2db742014-03-12 16:07:06 +0000399 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_NORMAL_NC) | PTE_PXN | PTE_UXN)
Liviu Dudaud1e6dc92014-09-29 15:29:31 +0100400#define pgprot_device(prot) \
401 __pgprot_modify(prot, PTE_ATTRINDX_MASK, PTE_ATTRINDX(MT_DEVICE_nGnRE) | PTE_PXN | PTE_UXN)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000402#define __HAVE_PHYS_MEM_ACCESS_PROT
403struct file;
404extern pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn,
405 unsigned long size, pgprot_t vma_prot);
406
407#define pmd_none(pmd) (!pmd_val(pmd))
408#define pmd_present(pmd) (pmd_val(pmd))
409
410#define pmd_bad(pmd) (!(pmd_val(pmd) & 2))
411
Marc Zyngier36311602012-12-07 18:35:41 +0000412#define pmd_table(pmd) ((pmd_val(pmd) & PMD_TYPE_MASK) == \
413 PMD_TYPE_TABLE)
414#define pmd_sect(pmd) ((pmd_val(pmd) & PMD_TYPE_MASK) == \
415 PMD_TYPE_SECT)
416
Steve Capperf3b766a2014-06-25 08:41:45 +0100417#ifdef CONFIG_ARM64_64K_PAGES
Steve Capper206a2a72014-05-06 14:02:27 +0100418#define pud_sect(pud) (0)
zhichang.yuan523d6e92014-12-09 07:26:47 +0000419#define pud_table(pud) (1)
Steve Capper206a2a72014-05-06 14:02:27 +0100420#else
421#define pud_sect(pud) ((pud_val(pud) & PUD_TYPE_MASK) == \
422 PUD_TYPE_SECT)
zhichang.yuan523d6e92014-12-09 07:26:47 +0000423#define pud_table(pud) ((pud_val(pud) & PUD_TYPE_MASK) == \
424 PUD_TYPE_TABLE)
Steve Capper206a2a72014-05-06 14:02:27 +0100425#endif
Marc Zyngier36311602012-12-07 18:35:41 +0000426
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000427static inline void set_pmd(pmd_t *pmdp, pmd_t pmd)
428{
429 *pmdp = pmd;
Will Deacon98f76852014-05-02 16:24:10 +0100430 dsb(ishst);
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100431 isb();
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000432}
433
434static inline void pmd_clear(pmd_t *pmdp)
435{
436 set_pmd(pmdp, __pmd(0));
437}
438
439static inline pte_t *pmd_page_vaddr(pmd_t pmd)
440{
441 return __va(pmd_val(pmd) & PHYS_MASK & (s32)PAGE_MASK);
442}
443
444#define pmd_page(pmd) pfn_to_page(__phys_to_pfn(pmd_val(pmd) & PHYS_MASK))
445
446/*
447 * Conversion functions: convert a page and protection to a page entry,
448 * and a page entry and page directory to the page they refer to.
449 */
450#define mk_pte(page,prot) pfn_pte(page_to_pfn(page),prot)
451
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700452#if CONFIG_PGTABLE_LEVELS > 2
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000453
Catalin Marinas7078db42014-07-21 14:52:49 +0100454#define pmd_ERROR(pmd) __pmd_error(__FILE__, __LINE__, pmd_val(pmd))
455
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000456#define pud_none(pud) (!pud_val(pud))
457#define pud_bad(pud) (!(pud_val(pud) & 2))
458#define pud_present(pud) (pud_val(pud))
459
460static inline void set_pud(pud_t *pudp, pud_t pud)
461{
462 *pudp = pud;
Will Deacon98f76852014-05-02 16:24:10 +0100463 dsb(ishst);
Catalin Marinas7f0b1bf2014-06-09 11:55:03 +0100464 isb();
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000465}
466
467static inline void pud_clear(pud_t *pudp)
468{
469 set_pud(pudp, __pud(0));
470}
471
472static inline pmd_t *pud_page_vaddr(pud_t pud)
473{
474 return __va(pud_val(pud) & PHYS_MASK & (s32)PAGE_MASK);
475}
476
Catalin Marinas7078db42014-07-21 14:52:49 +0100477/* Find an entry in the second-level page table. */
478#define pmd_index(addr) (((addr) >> PMD_SHIFT) & (PTRS_PER_PMD - 1))
479
480static inline pmd_t *pmd_offset(pud_t *pud, unsigned long addr)
481{
482 return (pmd_t *)pud_page_vaddr(*pud) + pmd_index(addr);
483}
484
Jungseok Lee5d96e0c2014-12-20 00:49:40 +0000485#define pud_page(pud) pfn_to_page(__phys_to_pfn(pud_val(pud) & PHYS_MASK))
Steve Capper29e56942014-10-09 15:29:25 -0700486
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700487#endif /* CONFIG_PGTABLE_LEVELS > 2 */
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000488
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700489#if CONFIG_PGTABLE_LEVELS > 3
Jungseok Leec79b954b2014-05-12 18:40:51 +0900490
Catalin Marinas7078db42014-07-21 14:52:49 +0100491#define pud_ERROR(pud) __pud_error(__FILE__, __LINE__, pud_val(pud))
492
Jungseok Leec79b954b2014-05-12 18:40:51 +0900493#define pgd_none(pgd) (!pgd_val(pgd))
494#define pgd_bad(pgd) (!(pgd_val(pgd) & 2))
495#define pgd_present(pgd) (pgd_val(pgd))
496
497static inline void set_pgd(pgd_t *pgdp, pgd_t pgd)
498{
499 *pgdp = pgd;
500 dsb(ishst);
501}
502
503static inline void pgd_clear(pgd_t *pgdp)
504{
505 set_pgd(pgdp, __pgd(0));
506}
507
508static inline pud_t *pgd_page_vaddr(pgd_t pgd)
509{
510 return __va(pgd_val(pgd) & PHYS_MASK & (s32)PAGE_MASK);
511}
512
Catalin Marinas7078db42014-07-21 14:52:49 +0100513/* Find an entry in the frst-level page table. */
514#define pud_index(addr) (((addr) >> PUD_SHIFT) & (PTRS_PER_PUD - 1))
515
516static inline pud_t *pud_offset(pgd_t *pgd, unsigned long addr)
517{
518 return (pud_t *)pgd_page_vaddr(*pgd) + pud_index(addr);
519}
520
Jungseok Lee5d96e0c2014-12-20 00:49:40 +0000521#define pgd_page(pgd) pfn_to_page(__phys_to_pfn(pgd_val(pgd) & PHYS_MASK))
522
Kirill A. Shutemov9f25e6a2015-04-14 15:45:39 -0700523#endif /* CONFIG_PGTABLE_LEVELS > 3 */
Jungseok Leec79b954b2014-05-12 18:40:51 +0900524
Catalin Marinas7078db42014-07-21 14:52:49 +0100525#define pgd_ERROR(pgd) __pgd_error(__FILE__, __LINE__, pgd_val(pgd))
526
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000527/* to find an entry in a page-table-directory */
528#define pgd_index(addr) (((addr) >> PGDIR_SHIFT) & (PTRS_PER_PGD - 1))
529
530#define pgd_offset(mm, addr) ((mm)->pgd+pgd_index(addr))
531
532/* to find an entry in a kernel page-table-directory */
533#define pgd_offset_k(addr) pgd_offset(&init_mm, addr)
534
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000535static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
536{
Will Deacona6fadf72012-12-18 14:15:15 +0000537 const pteval_t mask = PTE_USER | PTE_PXN | PTE_UXN | PTE_RDONLY |
Steve Capper1a541b42015-10-01 13:06:07 +0100538 PTE_PROT_NONE | PTE_VALID | PTE_WRITE;
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100539 /* preserve the hardware dirty information */
540 if (pte_hw_dirty(pte))
Catalin Marinas62d96c72015-09-11 18:22:01 +0100541 pte = pte_mkdirty(pte);
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000542 pte_val(pte) = (pte_val(pte) & ~mask) | (pgprot_val(newprot) & mask);
543 return pte;
544}
545
Steve Capper9c7e5352014-02-25 10:02:13 +0000546static inline pmd_t pmd_modify(pmd_t pmd, pgprot_t newprot)
547{
548 return pte_pmd(pte_modify(pmd_pte(pmd), newprot));
549}
550
Catalin Marinas2f4b8292015-07-10 17:24:28 +0100551#ifdef CONFIG_ARM64_HW_AFDBM
552/*
553 * Atomic pte/pmd modifications.
554 */
555#define __HAVE_ARCH_PTEP_TEST_AND_CLEAR_YOUNG
556static inline int ptep_test_and_clear_young(struct vm_area_struct *vma,
557 unsigned long address,
558 pte_t *ptep)
559{
560 pteval_t pteval;
561 unsigned int tmp, res;
562
563 asm volatile("// ptep_test_and_clear_young\n"
564 " prfm pstl1strm, %2\n"
565 "1: ldxr %0, %2\n"
566 " ubfx %w3, %w0, %5, #1 // extract PTE_AF (young)\n"
567 " and %0, %0, %4 // clear PTE_AF\n"
568 " stxr %w1, %0, %2\n"
569 " cbnz %w1, 1b\n"
570 : "=&r" (pteval), "=&r" (tmp), "+Q" (pte_val(*ptep)), "=&r" (res)
571 : "L" (~PTE_AF), "I" (ilog2(PTE_AF)));
572
573 return res;
574}
575
576#ifdef CONFIG_TRANSPARENT_HUGEPAGE
577#define __HAVE_ARCH_PMDP_TEST_AND_CLEAR_YOUNG
578static inline int pmdp_test_and_clear_young(struct vm_area_struct *vma,
579 unsigned long address,
580 pmd_t *pmdp)
581{
582 return ptep_test_and_clear_young(vma, address, (pte_t *)pmdp);
583}
584#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
585
586#define __HAVE_ARCH_PTEP_GET_AND_CLEAR
587static inline pte_t ptep_get_and_clear(struct mm_struct *mm,
588 unsigned long address, pte_t *ptep)
589{
590 pteval_t old_pteval;
591 unsigned int tmp;
592
593 asm volatile("// ptep_get_and_clear\n"
594 " prfm pstl1strm, %2\n"
595 "1: ldxr %0, %2\n"
596 " stxr %w1, xzr, %2\n"
597 " cbnz %w1, 1b\n"
598 : "=&r" (old_pteval), "=&r" (tmp), "+Q" (pte_val(*ptep)));
599
600 return __pte(old_pteval);
601}
602
603#ifdef CONFIG_TRANSPARENT_HUGEPAGE
604#define __HAVE_ARCH_PMDP_GET_AND_CLEAR
605static inline pmd_t pmdp_get_and_clear(struct mm_struct *mm,
606 unsigned long address, pmd_t *pmdp)
607{
608 return pte_pmd(ptep_get_and_clear(mm, address, (pte_t *)pmdp));
609}
610#endif /* CONFIG_TRANSPARENT_HUGEPAGE */
611
612/*
613 * ptep_set_wrprotect - mark read-only while trasferring potential hardware
614 * dirty status (PTE_DBM && !PTE_RDONLY) to the software PTE_DIRTY bit.
615 */
616#define __HAVE_ARCH_PTEP_SET_WRPROTECT
617static inline void ptep_set_wrprotect(struct mm_struct *mm, unsigned long address, pte_t *ptep)
618{
619 pteval_t pteval;
620 unsigned long tmp;
621
622 asm volatile("// ptep_set_wrprotect\n"
623 " prfm pstl1strm, %2\n"
624 "1: ldxr %0, %2\n"
625 " tst %0, %4 // check for hw dirty (!PTE_RDONLY)\n"
626 " csel %1, %3, xzr, eq // set PTE_DIRTY|PTE_RDONLY if dirty\n"
627 " orr %0, %0, %1 // if !dirty, PTE_RDONLY is already set\n"
628 " and %0, %0, %5 // clear PTE_WRITE/PTE_DBM\n"
629 " stxr %w1, %0, %2\n"
630 " cbnz %w1, 1b\n"
631 : "=&r" (pteval), "=&r" (tmp), "+Q" (pte_val(*ptep))
632 : "r" (PTE_DIRTY|PTE_RDONLY), "L" (PTE_RDONLY), "L" (~PTE_WRITE)
633 : "cc");
634}
635
636#ifdef CONFIG_TRANSPARENT_HUGEPAGE
637#define __HAVE_ARCH_PMDP_SET_WRPROTECT
638static inline void pmdp_set_wrprotect(struct mm_struct *mm,
639 unsigned long address, pmd_t *pmdp)
640{
641 ptep_set_wrprotect(mm, address, (pte_t *)pmdp);
642}
643#endif
644#endif /* CONFIG_ARM64_HW_AFDBM */
645
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000646extern pgd_t swapper_pg_dir[PTRS_PER_PGD];
647extern pgd_t idmap_pg_dir[PTRS_PER_PGD];
648
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000649/*
650 * Encode and decode a swap entry:
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000651 * bits 0-1: present (must be zero)
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800652 * bits 2-7: swap type
653 * bits 8-57: swap offset
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000654 */
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800655#define __SWP_TYPE_SHIFT 2
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000656#define __SWP_TYPE_BITS 6
Kirill A. Shutemov9b3e6612015-02-10 14:10:15 -0800657#define __SWP_OFFSET_BITS 50
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000658#define __SWP_TYPE_MASK ((1 << __SWP_TYPE_BITS) - 1)
659#define __SWP_OFFSET_SHIFT (__SWP_TYPE_BITS + __SWP_TYPE_SHIFT)
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000660#define __SWP_OFFSET_MASK ((1UL << __SWP_OFFSET_BITS) - 1)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000661
662#define __swp_type(x) (((x).val >> __SWP_TYPE_SHIFT) & __SWP_TYPE_MASK)
Catalin Marinas3676f9e2013-11-27 16:59:27 +0000663#define __swp_offset(x) (((x).val >> __SWP_OFFSET_SHIFT) & __SWP_OFFSET_MASK)
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000664#define __swp_entry(type,offset) ((swp_entry_t) { ((type) << __SWP_TYPE_SHIFT) | ((offset) << __SWP_OFFSET_SHIFT) })
665
666#define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })
667#define __swp_entry_to_pte(swp) ((pte_t) { (swp).val })
668
669/*
670 * Ensure that there are not more swap files than can be encoded in the kernel
Geert Uytterhoevenaad90612014-03-11 11:23:39 +0100671 * PTEs.
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000672 */
673#define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > __SWP_TYPE_BITS)
674
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000675extern int kern_addr_valid(unsigned long addr);
676
677#include <asm-generic/pgtable.h>
678
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000679#define pgtable_cache_init() do { } while (0)
680
Will Deaconcba35742015-07-16 19:26:02 +0100681/*
682 * On AArch64, the cache coherency is handled via the set_pte_at() function.
683 */
684static inline void update_mmu_cache(struct vm_area_struct *vma,
685 unsigned long addr, pte_t *ptep)
686{
687 /*
Will Deacon120798d2015-10-06 18:46:30 +0100688 * We don't do anything here, so there's a very small chance of
689 * us retaking a user fault which we just fixed up. The alternative
690 * is doing a dsb(ishst), but that penalises the fastpath.
Will Deaconcba35742015-07-16 19:26:02 +0100691 */
Will Deaconcba35742015-07-16 19:26:02 +0100692}
693
694#define update_mmu_cache_pmd(vma, address, pmd) do { } while (0)
695
Catalin Marinas7db743c2015-10-16 14:34:50 +0100696#define kc_vaddr_to_offset(v) ((v) & ~VA_START)
697#define kc_offset_to_vaddr(o) ((o) | VA_START)
698
Catalin Marinas4f04d8f2012-03-05 11:49:27 +0000699#endif /* !__ASSEMBLY__ */
700
701#endif /* __ASM_PGTABLE_H */