blob: eaedce7b7e3a61856f609a31ba64d55187521050 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
Russell King4baa9922008-08-02 10:55:55 +01002 * arch/arm/include/asm/pgtable.h
Linus Torvalds1da177e2005-04-16 15:20:36 -07003 *
4 * Copyright (C) 1995-2002 Russell King
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
9 */
10#ifndef _ASMARM_PGTABLE_H
11#define _ASMARM_PGTABLE_H
12
Russell Kingf6e33542010-11-16 00:22:09 +000013#include <linux/const.h>
Russell King002547b2006-06-20 20:46:52 +010014#include <asm/proc-fns.h>
15
16#ifndef CONFIG_MMU
17
Russell Kinga32618d2011-11-22 17:30:28 +000018#include <asm-generic/4level-fixup.h>
David Howellsa1ce3922012-10-02 18:01:25 +010019#include <asm/pgtable-nommu.h>
Russell King002547b2006-06-20 20:46:52 +010020
21#else
Linus Torvalds1da177e2005-04-16 15:20:36 -070022
Russell Kinga32618d2011-11-22 17:30:28 +000023#include <asm-generic/pgtable-nopud.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <asm/memory.h>
Russell Kingad1ae2f2006-12-13 14:34:43 +000025#include <asm/pgtable-hwdef.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026
Catalin Marinas8d962502012-07-25 14:39:26 +010027
28#include <asm/tlbflush.h>
29
Catalin Marinasdcfdae02011-11-22 17:30:29 +000030#ifdef CONFIG_ARM_LPAE
31#include <asm/pgtable-3level.h>
32#else
Catalin Marinas17f57212011-09-05 17:41:02 +010033#include <asm/pgtable-2level.h>
Catalin Marinasdcfdae02011-11-22 17:30:29 +000034#endif
Catalin Marinas17f57212011-09-05 17:41:02 +010035
Linus Torvalds1da177e2005-04-16 15:20:36 -070036/*
Russell King5c3073e2005-05-03 12:20:29 +010037 * Just any arbitrary offset to the start of the vmalloc VM area: the
38 * current 8MB value just means that there will be a 8MB "hole" after the
39 * physical memory until the kernel virtual memory starts. That means that
40 * any out-of-bounds memory accesses will hopefully be caught.
41 * The vmalloc() routines leaves a hole of 4kB between each vmalloced
42 * area for the same reason. ;)
Russell King5c3073e2005-05-03 12:20:29 +010043 */
Russell King5c3073e2005-05-03 12:20:29 +010044#define VMALLOC_OFFSET (8*1024*1024)
45#define VMALLOC_START (((unsigned long)high_memory + VMALLOC_OFFSET) & ~(VMALLOC_OFFSET-1))
Nicolas Pitre0536bdf2011-08-25 00:35:59 -040046#define VMALLOC_END 0xff000000UL
Russell King5c3073e2005-05-03 12:20:29 +010047
Linus Torvalds1da177e2005-04-16 15:20:36 -070048#define LIBRARY_TEXT_START 0x0c000000
49
50#ifndef __ASSEMBLY__
Russell King69529c02010-11-16 00:19:55 +000051extern void __pte_error(const char *file, int line, pte_t);
52extern void __pmd_error(const char *file, int line, pmd_t);
53extern void __pgd_error(const char *file, int line, pgd_t);
Linus Torvalds1da177e2005-04-16 15:20:36 -070054
Russell King69529c02010-11-16 00:19:55 +000055#define pte_ERROR(pte) __pte_error(__FILE__, __LINE__, pte)
56#define pmd_ERROR(pmd) __pmd_error(__FILE__, __LINE__, pmd)
57#define pgd_ERROR(pgd) __pgd_error(__FILE__, __LINE__, pgd)
Linus Torvalds1da177e2005-04-16 15:20:36 -070058
Hugh Dickins6119be02005-04-19 13:29:21 -070059/*
60 * This is the lowest virtual address we can permit any user space
61 * mapping to be mapped at. This is particularly important for
62 * non-high vector CPUs.
63 */
64#define FIRST_USER_ADDRESS PAGE_SIZE
65
Linus Torvalds1da177e2005-04-16 15:20:36 -070066/*
Catalin Marinas104ad3b2013-04-29 15:07:45 -070067 * Use TASK_SIZE as the ceiling argument for free_pgtables() and
68 * free_pgd_range() to avoid freeing the modules pmd when LPAE is enabled (pmd
69 * page shared between user and kernel).
70 */
71#ifdef CONFIG_ARM_LPAE
72#define USER_PGTABLES_CEILING TASK_SIZE
73#endif
74
75/*
Imre_Deak44b18692007-02-11 13:45:13 +010076 * The pgprot_* and protection_map entries will be fixed up in runtime
77 * to include the cachable and bufferable bits based on memory policy,
78 * as well as any architecture dependent bits like global/ASID and SMP
79 * shared mapping bits.
Linus Torvalds1da177e2005-04-16 15:20:36 -070080 */
Russell Kingbb30f362008-09-06 20:04:59 +010081#define _L_PTE_DEFAULT L_PTE_PRESENT | L_PTE_YOUNG
Linus Torvalds1da177e2005-04-16 15:20:36 -070082
Imre_Deak44b18692007-02-11 13:45:13 +010083extern pgprot_t pgprot_user;
Linus Torvalds1da177e2005-04-16 15:20:36 -070084extern pgprot_t pgprot_kernel;
Christoffer Dallcc577c22013-01-20 18:28:04 -050085extern pgprot_t pgprot_hyp_device;
86extern pgprot_t pgprot_s2;
87extern pgprot_t pgprot_s2_device;
Linus Torvalds1da177e2005-04-16 15:20:36 -070088
Russell King8ec53662008-09-07 17:16:54 +010089#define _MOD_PROT(p, b) __pgprot(pgprot_val(p) | (b))
Linus Torvalds1da177e2005-04-16 15:20:36 -070090
Will Deacon26ffd0d2012-09-01 05:22:12 +010091#define PAGE_NONE _MOD_PROT(pgprot_user, L_PTE_XN | L_PTE_RDONLY | L_PTE_NONE)
Russell King36bb94b2010-11-16 08:40:36 +000092#define PAGE_SHARED _MOD_PROT(pgprot_user, L_PTE_USER | L_PTE_XN)
93#define PAGE_SHARED_EXEC _MOD_PROT(pgprot_user, L_PTE_USER)
94#define PAGE_COPY _MOD_PROT(pgprot_user, L_PTE_USER | L_PTE_RDONLY | L_PTE_XN)
95#define PAGE_COPY_EXEC _MOD_PROT(pgprot_user, L_PTE_USER | L_PTE_RDONLY)
96#define PAGE_READONLY _MOD_PROT(pgprot_user, L_PTE_USER | L_PTE_RDONLY | L_PTE_XN)
97#define PAGE_READONLY_EXEC _MOD_PROT(pgprot_user, L_PTE_USER | L_PTE_RDONLY)
Russell King9522d7e2010-11-16 00:23:31 +000098#define PAGE_KERNEL _MOD_PROT(pgprot_kernel, L_PTE_XN)
99#define PAGE_KERNEL_EXEC pgprot_kernel
Christoffer Dallcc577c22013-01-20 18:28:04 -0500100#define PAGE_HYP _MOD_PROT(pgprot_kernel, L_PTE_HYP)
101#define PAGE_HYP_DEVICE _MOD_PROT(pgprot_hyp_device, L_PTE_HYP)
102#define PAGE_S2 _MOD_PROT(pgprot_s2, L_PTE_S2_RDONLY)
103#define PAGE_S2_DEVICE _MOD_PROT(pgprot_s2_device, L_PTE_USER | L_PTE_S2_RDONLY)
Russell King8ec53662008-09-07 17:16:54 +0100104
Will Deacon26ffd0d2012-09-01 05:22:12 +0100105#define __PAGE_NONE __pgprot(_L_PTE_DEFAULT | L_PTE_RDONLY | L_PTE_XN | L_PTE_NONE)
Russell King36bb94b2010-11-16 08:40:36 +0000106#define __PAGE_SHARED __pgprot(_L_PTE_DEFAULT | L_PTE_USER | L_PTE_XN)
107#define __PAGE_SHARED_EXEC __pgprot(_L_PTE_DEFAULT | L_PTE_USER)
108#define __PAGE_COPY __pgprot(_L_PTE_DEFAULT | L_PTE_USER | L_PTE_RDONLY | L_PTE_XN)
109#define __PAGE_COPY_EXEC __pgprot(_L_PTE_DEFAULT | L_PTE_USER | L_PTE_RDONLY)
110#define __PAGE_READONLY __pgprot(_L_PTE_DEFAULT | L_PTE_USER | L_PTE_RDONLY | L_PTE_XN)
111#define __PAGE_READONLY_EXEC __pgprot(_L_PTE_DEFAULT | L_PTE_USER | L_PTE_RDONLY)
Imre_Deak44b18692007-02-11 13:45:13 +0100112
Russell Kingeb9b2b62010-11-26 17:39:28 +0000113#define __pgprot_modify(prot,mask,bits) \
114 __pgprot((pgprot_val(prot) & ~(mask)) | (bits))
115
116#define pgprot_noncached(prot) \
117 __pgprot_modify(prot, L_PTE_MT_MASK, L_PTE_MT_UNCACHED)
118
119#define pgprot_writecombine(prot) \
120 __pgprot_modify(prot, L_PTE_MT_MASK, L_PTE_MT_BUFFERABLE)
121
Santosh Shilimkar8fb54282011-06-28 12:42:56 -0700122#define pgprot_stronglyordered(prot) \
123 __pgprot_modify(prot, L_PTE_MT_MASK, L_PTE_MT_UNCACHED)
124
Russell Kingeb9b2b62010-11-26 17:39:28 +0000125#ifdef CONFIG_ARM_DMA_MEM_BUFFERABLE
126#define pgprot_dmacoherent(prot) \
Russell King9522d7e2010-11-16 00:23:31 +0000127 __pgprot_modify(prot, L_PTE_MT_MASK, L_PTE_MT_BUFFERABLE | L_PTE_XN)
Russell Kingeb9b2b62010-11-26 17:39:28 +0000128#define __HAVE_PHYS_MEM_ACCESS_PROT
129struct file;
130extern pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn,
131 unsigned long size, pgprot_t vma_prot);
132#else
133#define pgprot_dmacoherent(prot) \
Russell King9522d7e2010-11-16 00:23:31 +0000134 __pgprot_modify(prot, L_PTE_MT_MASK, L_PTE_MT_UNCACHED | L_PTE_XN)
Russell Kingeb9b2b62010-11-26 17:39:28 +0000135#endif
136
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137#endif /* __ASSEMBLY__ */
138
139/*
140 * The table below defines the page protection levels that we insert into our
141 * Linux page table version. These get translated into the best that the
142 * architecture can perform. Note that on most ARM hardware:
143 * 1) We cannot do execute protection
144 * 2) If we could do execute protection, then read is implied
145 * 3) write implies read permissions
146 */
Imre_Deak44b18692007-02-11 13:45:13 +0100147#define __P000 __PAGE_NONE
148#define __P001 __PAGE_READONLY
149#define __P010 __PAGE_COPY
150#define __P011 __PAGE_COPY
Russell King8ec53662008-09-07 17:16:54 +0100151#define __P100 __PAGE_READONLY_EXEC
152#define __P101 __PAGE_READONLY_EXEC
153#define __P110 __PAGE_COPY_EXEC
154#define __P111 __PAGE_COPY_EXEC
Linus Torvalds1da177e2005-04-16 15:20:36 -0700155
Imre_Deak44b18692007-02-11 13:45:13 +0100156#define __S000 __PAGE_NONE
157#define __S001 __PAGE_READONLY
158#define __S010 __PAGE_SHARED
159#define __S011 __PAGE_SHARED
Russell King8ec53662008-09-07 17:16:54 +0100160#define __S100 __PAGE_READONLY_EXEC
161#define __S101 __PAGE_READONLY_EXEC
162#define __S110 __PAGE_SHARED_EXEC
163#define __S111 __PAGE_SHARED_EXEC
Linus Torvalds1da177e2005-04-16 15:20:36 -0700164
165#ifndef __ASSEMBLY__
166/*
167 * ZERO_PAGE is a global shared page that is always zero: used
168 * for zero-mapped memory areas etc..
169 */
170extern struct page *empty_zero_page;
171#define ZERO_PAGE(vaddr) (empty_zero_page)
172
Russell King4eec4b12010-11-26 20:12:12 +0000173
174extern pgd_t swapper_pg_dir[PTRS_PER_PGD];
175
176/* to find an entry in a page-table-directory */
177#define pgd_index(addr) ((addr) >> PGDIR_SHIFT)
178
179#define pgd_offset(mm, addr) ((mm)->pgd + pgd_index(addr))
180
181/* to find an entry in a kernel page-table-directory */
182#define pgd_offset_k(addr) pgd_offset(&init_mm, addr)
183
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184#define pmd_none(pmd) (!pmd_val(pmd))
185#define pmd_present(pmd) (pmd_val(pmd))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186
Dave McCracken46a82b22006-09-25 23:31:48 -0700187static inline pte_t *pmd_page_vaddr(pmd_t pmd)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700188{
Catalin Marinasd7c5d0d2011-09-05 17:52:36 +0100189 return __va(pmd_val(pmd) & PHYS_MASK & (s32)PAGE_MASK);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700190}
191
Catalin Marinasd7c5d0d2011-09-05 17:52:36 +0100192#define pmd_page(pmd) pfn_to_page(__phys_to_pfn(pmd_val(pmd) & PHYS_MASK))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193
Russell Kingb510b0492010-11-26 20:35:25 +0000194#ifndef CONFIG_HIGHPTE
195#define __pte_map(pmd) pmd_page_vaddr(*(pmd))
196#define __pte_unmap(pte) do { } while (0)
197#else
Russell Kingd30e45e2010-11-16 00:16:01 +0000198#define __pte_map(pmd) (pte_t *)kmap_atomic(pmd_page(*(pmd)))
199#define __pte_unmap(pte) kunmap_atomic(pte)
Russell Kingb510b0492010-11-26 20:35:25 +0000200#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700201
Russell Kingb510b0492010-11-26 20:35:25 +0000202#define pte_index(addr) (((addr) >> PAGE_SHIFT) & (PTRS_PER_PTE - 1))
203
204#define pte_offset_kernel(pmd,addr) (pmd_page_vaddr(*(pmd)) + pte_index(addr))
205
206#define pte_offset_map(pmd,addr) (__pte_map(pmd) + pte_index(addr))
207#define pte_unmap(pte) __pte_unmap(pte)
208
Catalin Marinasd7c5d0d2011-09-05 17:52:36 +0100209#define pte_pfn(pte) ((pte_val(pte) & PHYS_MASK) >> PAGE_SHIFT)
Will Deaconcae62922011-02-15 12:42:57 +0100210#define pfn_pte(pfn,prot) __pte(__pfn_to_phys(pfn) | pgprot_val(prot))
Russell Kingb510b0492010-11-26 20:35:25 +0000211
212#define pte_page(pte) pfn_to_page(pte_pfn(pte))
213#define mk_pte(page,prot) pfn_pte(page_to_pfn(page), prot)
214
Russell Kingb510b0492010-11-26 20:35:25 +0000215#define pte_clear(mm,addr,ptep) set_pte_ext(ptep, __pte(0), 0)
216
Russell Kingb510b0492010-11-26 20:35:25 +0000217#define pte_none(pte) (!pte_val(pte))
218#define pte_present(pte) (pte_val(pte) & L_PTE_PRESENT)
Russell King36bb94b2010-11-16 08:40:36 +0000219#define pte_write(pte) (!(pte_val(pte) & L_PTE_RDONLY))
Russell Kingb510b0492010-11-26 20:35:25 +0000220#define pte_dirty(pte) (pte_val(pte) & L_PTE_DIRTY)
221#define pte_young(pte) (pte_val(pte) & L_PTE_YOUNG)
Russell King9522d7e2010-11-16 00:23:31 +0000222#define pte_exec(pte) (!(pte_val(pte) & L_PTE_XN))
Russell Kingb510b0492010-11-26 20:35:25 +0000223#define pte_special(pte) (0)
224
Will Deacondbf62d52012-07-19 11:51:05 +0100225#define pte_present_user(pte) (pte_present(pte) && (pte_val(pte) & L_PTE_USER))
Russell Kingb510b0492010-11-26 20:35:25 +0000226
Will Deacon47f12042012-08-10 17:51:18 +0100227#if __LINUX_ARM_ARCH__ < 6
228static inline void __sync_icache_dcache(pte_t pteval)
229{
230}
231#else
232extern void __sync_icache_dcache(pte_t pteval);
233#endif
234
235static inline void set_pte_at(struct mm_struct *mm, unsigned long addr,
236 pte_t *ptep, pte_t pteval)
237{
238 unsigned long ext = 0;
239
240 if (addr < TASK_SIZE && pte_present_user(pteval)) {
241 __sync_icache_dcache(pteval);
242 ext |= PTE_EXT_NG;
243 }
244
245 set_pte_ext(ptep, pteval, ext);
246}
247
Russell Kingb510b0492010-11-26 20:35:25 +0000248#define PTE_BIT_FUNC(fn,op) \
249static inline pte_t pte_##fn(pte_t pte) { pte_val(pte) op; return pte; }
250
Russell King36bb94b2010-11-16 08:40:36 +0000251PTE_BIT_FUNC(wrprotect, |= L_PTE_RDONLY);
252PTE_BIT_FUNC(mkwrite, &= ~L_PTE_RDONLY);
Russell Kingb510b0492010-11-26 20:35:25 +0000253PTE_BIT_FUNC(mkclean, &= ~L_PTE_DIRTY);
254PTE_BIT_FUNC(mkdirty, |= L_PTE_DIRTY);
255PTE_BIT_FUNC(mkold, &= ~L_PTE_YOUNG);
256PTE_BIT_FUNC(mkyoung, |= L_PTE_YOUNG);
257
258static inline pte_t pte_mkspecial(pte_t pte) { return pte; }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259
260static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)
261{
Catalin Marinas69dde4c2013-02-18 17:51:20 +0100262 const pteval_t mask = L_PTE_XN | L_PTE_RDONLY | L_PTE_USER |
263 L_PTE_NONE | L_PTE_VALID;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700264 pte_val(pte) = (pte_val(pte) & ~mask) | (pgprot_val(newprot) & mask);
265 return pte;
266}
267
Russell Kingfb93a1c2009-07-05 11:30:15 +0100268/*
269 * Encode and decode a swap entry. Swap entries are stored in the Linux
270 * page tables as follows:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700271 *
Russell Kingfb93a1c2009-07-05 11:30:15 +0100272 * 3 3 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
273 * 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
Will Deaconf5f20252012-08-10 17:51:19 +0100274 * <--------------- offset ----------------------> < type -> 0 0 0
Russell Kingfb93a1c2009-07-05 11:30:15 +0100275 *
Will Deaconf5f20252012-08-10 17:51:19 +0100276 * This gives us up to 31 swap files and 64GB per swap file. Note that
Russell Kingfb93a1c2009-07-05 11:30:15 +0100277 * the offset field is always non-zero.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278 */
Russell King6a00cde2009-07-11 16:57:20 +0100279#define __SWP_TYPE_SHIFT 3
Will Deaconf5f20252012-08-10 17:51:19 +0100280#define __SWP_TYPE_BITS 5
Russell Kingfb93a1c2009-07-05 11:30:15 +0100281#define __SWP_TYPE_MASK ((1 << __SWP_TYPE_BITS) - 1)
282#define __SWP_OFFSET_SHIFT (__SWP_TYPE_BITS + __SWP_TYPE_SHIFT)
283
284#define __swp_type(x) (((x).val >> __SWP_TYPE_SHIFT) & __SWP_TYPE_MASK)
285#define __swp_offset(x) ((x).val >> __SWP_OFFSET_SHIFT)
286#define __swp_entry(type,offset) ((swp_entry_t) { ((type) << __SWP_TYPE_SHIFT) | ((offset) << __SWP_OFFSET_SHIFT) })
287
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288#define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })
289#define __swp_entry_to_pte(swp) ((pte_t) { (swp).val })
290
Russell Kingfb93a1c2009-07-05 11:30:15 +0100291/*
292 * It is an error for the kernel to have more swap files than we can
293 * encode in the PTEs. This ensures that we know when MAX_SWAPFILES
294 * is increased beyond what we presently support.
295 */
296#define MAX_SWAPFILES_CHECK() BUILD_BUG_ON(MAX_SWAPFILES_SHIFT > __SWP_TYPE_BITS)
297
Russell King65b1bfc2009-07-05 11:52:21 +0100298/*
299 * Encode and decode a file entry. File entries are stored in the Linux
300 * page tables as follows:
301 *
302 * 3 3 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
303 * 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
Russell King6a00cde2009-07-11 16:57:20 +0100304 * <----------------------- offset ------------------------> 1 0 0
Russell King65b1bfc2009-07-05 11:52:21 +0100305 */
306#define pte_file(pte) (pte_val(pte) & L_PTE_FILE)
Russell King6a00cde2009-07-11 16:57:20 +0100307#define pte_to_pgoff(x) (pte_val(x) >> 3)
308#define pgoff_to_pte(x) __pte(((x) << 3) | L_PTE_FILE)
Russell King65b1bfc2009-07-05 11:52:21 +0100309
Russell King6a00cde2009-07-11 16:57:20 +0100310#define PTE_FILE_MAX_BITS 29
Russell King65b1bfc2009-07-05 11:52:21 +0100311
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312/* Needs to be defined here and not in linux/mm.h, as it is arch dependent */
313/* FIXME: this is not correct */
314#define kern_addr_valid(addr) (1)
315
316#include <asm-generic/pgtable.h>
317
318/*
319 * We provide our own arch_get_unmapped_area to cope with VIPT caches.
320 */
321#define HAVE_ARCH_UNMAPPED_AREA
Rob Herring7dbaa462011-11-22 04:01:07 +0100322#define HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323
324/*
Randy Dunlap33bf5612005-09-13 01:25:50 -0700325 * remap a physical page `pfn' of size `size' with page protection `prot'
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326 * into virtual address `from'
327 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328#define io_remap_pfn_range(vma,from,pfn,size,prot) \
329 remap_pfn_range(vma, from, pfn, size, prot)
330
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331#define pgtable_cache_init() do { } while (0)
332
333#endif /* !__ASSEMBLY__ */
334
Russell King002547b2006-06-20 20:46:52 +0100335#endif /* CONFIG_MMU */
336
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337#endif /* _ASMARM_PGTABLE_H */