14f04d8f0SCatalin Marinas /*
24f04d8f0SCatalin Marinas  * Copyright (C) 2012 ARM Ltd.
34f04d8f0SCatalin Marinas  *
44f04d8f0SCatalin Marinas  * This program is free software; you can redistribute it and/or modify
54f04d8f0SCatalin Marinas  * it under the terms of the GNU General Public License version 2 as
64f04d8f0SCatalin Marinas  * published by the Free Software Foundation.
74f04d8f0SCatalin Marinas  *
84f04d8f0SCatalin Marinas  * This program is distributed in the hope that it will be useful,
94f04d8f0SCatalin Marinas  * but WITHOUT ANY WARRANTY; without even the implied warranty of
104f04d8f0SCatalin Marinas  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
114f04d8f0SCatalin Marinas  * GNU General Public License for more details.
124f04d8f0SCatalin Marinas  *
134f04d8f0SCatalin Marinas  * You should have received a copy of the GNU General Public License
144f04d8f0SCatalin Marinas  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
154f04d8f0SCatalin Marinas  */
164f04d8f0SCatalin Marinas #ifndef __ASM_PGTABLE_HWDEF_H
174f04d8f0SCatalin Marinas #define __ASM_PGTABLE_HWDEF_H
184f04d8f0SCatalin Marinas 
19686e7838SSuzuki K. Poulose /*
20686e7838SSuzuki K. Poulose  * Number of page-table levels required to address 'va_bits' wide
21686e7838SSuzuki K. Poulose  * address, without section mapping. We resolve the top (va_bits - PAGE_SHIFT)
22686e7838SSuzuki K. Poulose  * bits with (PAGE_SHIFT - 3) bits at each page table level. Hence:
23686e7838SSuzuki K. Poulose  *
24686e7838SSuzuki K. Poulose  *  levels = DIV_ROUND_UP((va_bits - PAGE_SHIFT), (PAGE_SHIFT - 3))
25686e7838SSuzuki K. Poulose  *
26686e7838SSuzuki K. Poulose  * where DIV_ROUND_UP(n, d) => (((n) + (d) - 1) / (d))
27686e7838SSuzuki K. Poulose  *
28686e7838SSuzuki K. Poulose  * We cannot include linux/kernel.h which defines DIV_ROUND_UP here
29686e7838SSuzuki K. Poulose  * due to build issues. So we open code DIV_ROUND_UP here:
30686e7838SSuzuki K. Poulose  *
31686e7838SSuzuki K. Poulose  *	((((va_bits) - PAGE_SHIFT) + (PAGE_SHIFT - 3) - 1) / (PAGE_SHIFT - 3))
32686e7838SSuzuki K. Poulose  *
33686e7838SSuzuki K. Poulose  * which gets simplified as :
34686e7838SSuzuki K. Poulose  */
35686e7838SSuzuki K. Poulose #define ARM64_HW_PGTABLE_LEVELS(va_bits) (((va_bits) - 4) / (PAGE_SHIFT - 3))
36686e7838SSuzuki K. Poulose 
37686e7838SSuzuki K. Poulose /*
38686e7838SSuzuki K. Poulose  * Size mapped by an entry at level n ( 0 <= n <= 3)
39686e7838SSuzuki K. Poulose  * We map (PAGE_SHIFT - 3) at all translation levels and PAGE_SHIFT bits
40686e7838SSuzuki K. Poulose  * in the final page. The maximum number of translation levels supported by
41686e7838SSuzuki K. Poulose  * the architecture is 4. Hence, starting at at level n, we have further
42686e7838SSuzuki K. Poulose  * ((4 - n) - 1) levels of translation excluding the offset within the page.
43686e7838SSuzuki K. Poulose  * So, the total number of bits mapped by an entry at level n is :
44686e7838SSuzuki K. Poulose  *
45686e7838SSuzuki K. Poulose  *  ((4 - n) - 1) * (PAGE_SHIFT - 3) + PAGE_SHIFT
46686e7838SSuzuki K. Poulose  *
47686e7838SSuzuki K. Poulose  * Rearranging it a bit we get :
48686e7838SSuzuki K. Poulose  *   (4 - n) * (PAGE_SHIFT - 3) + 3
49686e7838SSuzuki K. Poulose  */
50686e7838SSuzuki K. Poulose #define ARM64_HW_PGTABLE_LEVEL_SHIFT(n)	((PAGE_SHIFT - 3) * (4 - (n)) + 3)
51686e7838SSuzuki K. Poulose 
526b4fee24SCatalin Marinas #define PTRS_PER_PTE		(1 << (PAGE_SHIFT - 3))
536b4fee24SCatalin Marinas 
546b4fee24SCatalin Marinas /*
556b4fee24SCatalin Marinas  * PMD_SHIFT determines the size a level 2 page table entry can map.
566b4fee24SCatalin Marinas  */
579f25e6adSKirill A. Shutemov #if CONFIG_PGTABLE_LEVELS > 2
58686e7838SSuzuki K. Poulose #define PMD_SHIFT		ARM64_HW_PGTABLE_LEVEL_SHIFT(2)
596b4fee24SCatalin Marinas #define PMD_SIZE		(_AC(1, UL) << PMD_SHIFT)
606b4fee24SCatalin Marinas #define PMD_MASK		(~(PMD_SIZE-1))
616b4fee24SCatalin Marinas #define PTRS_PER_PMD		PTRS_PER_PTE
624f04d8f0SCatalin Marinas #endif
634f04d8f0SCatalin Marinas 
644f04d8f0SCatalin Marinas /*
656b4fee24SCatalin Marinas  * PUD_SHIFT determines the size a level 1 page table entry can map.
666b4fee24SCatalin Marinas  */
679f25e6adSKirill A. Shutemov #if CONFIG_PGTABLE_LEVELS > 3
68686e7838SSuzuki K. Poulose #define PUD_SHIFT		ARM64_HW_PGTABLE_LEVEL_SHIFT(1)
696b4fee24SCatalin Marinas #define PUD_SIZE		(_AC(1, UL) << PUD_SHIFT)
706b4fee24SCatalin Marinas #define PUD_MASK		(~(PUD_SIZE-1))
716b4fee24SCatalin Marinas #define PTRS_PER_PUD		PTRS_PER_PTE
726b4fee24SCatalin Marinas #endif
736b4fee24SCatalin Marinas 
746b4fee24SCatalin Marinas /*
756b4fee24SCatalin Marinas  * PGDIR_SHIFT determines the size a top-level page table entry can map
766b4fee24SCatalin Marinas  * (depending on the configuration, this level can be 0, 1 or 2).
776b4fee24SCatalin Marinas  */
78686e7838SSuzuki K. Poulose #define PGDIR_SHIFT		ARM64_HW_PGTABLE_LEVEL_SHIFT(4 - CONFIG_PGTABLE_LEVELS)
796b4fee24SCatalin Marinas #define PGDIR_SIZE		(_AC(1, UL) << PGDIR_SHIFT)
806b4fee24SCatalin Marinas #define PGDIR_MASK		(~(PGDIR_SIZE-1))
816b4fee24SCatalin Marinas #define PTRS_PER_PGD		(1 << (VA_BITS - PGDIR_SHIFT))
826b4fee24SCatalin Marinas 
836b4fee24SCatalin Marinas /*
846b4fee24SCatalin Marinas  * Section address mask and size definitions.
856b4fee24SCatalin Marinas  */
866b4fee24SCatalin Marinas #define SECTION_SHIFT		PMD_SHIFT
876b4fee24SCatalin Marinas #define SECTION_SIZE		(_AC(1, UL) << SECTION_SHIFT)
886b4fee24SCatalin Marinas #define SECTION_MASK		(~(SECTION_SIZE-1))
896b4fee24SCatalin Marinas 
906b4fee24SCatalin Marinas /*
91ecf35a23SJeremy Linton  * Contiguous page definitions.
92ecf35a23SJeremy Linton  */
93ecf35a23SJeremy Linton #define CONT_PTES		(_AC(1, UL) << CONT_SHIFT)
94ecf35a23SJeremy Linton /* the the numerical offset of the PTE within a range of CONT_PTES */
95ecf35a23SJeremy Linton #define CONT_RANGE_OFFSET(addr) (((addr)>>PAGE_SHIFT)&(CONT_PTES-1))
96ecf35a23SJeremy Linton 
97ecf35a23SJeremy Linton /*
984f04d8f0SCatalin Marinas  * Hardware page table definitions.
994f04d8f0SCatalin Marinas  *
100084bd298SSteve Capper  * Level 1 descriptor (PUD).
101084bd298SSteve Capper  */
102c79b954bSJungseok Lee #define PUD_TYPE_TABLE		(_AT(pudval_t, 3) << 0)
103084bd298SSteve Capper #define PUD_TABLE_BIT		(_AT(pgdval_t, 1) << 1)
104206a2a73SSteve Capper #define PUD_TYPE_MASK		(_AT(pgdval_t, 3) << 0)
105206a2a73SSteve Capper #define PUD_TYPE_SECT		(_AT(pgdval_t, 1) << 0)
106084bd298SSteve Capper 
107084bd298SSteve Capper /*
1084f04d8f0SCatalin Marinas  * Level 2 descriptor (PMD).
1094f04d8f0SCatalin Marinas  */
1104f04d8f0SCatalin Marinas #define PMD_TYPE_MASK		(_AT(pmdval_t, 3) << 0)
1114f04d8f0SCatalin Marinas #define PMD_TYPE_FAULT		(_AT(pmdval_t, 0) << 0)
1124f04d8f0SCatalin Marinas #define PMD_TYPE_TABLE		(_AT(pmdval_t, 3) << 0)
1134f04d8f0SCatalin Marinas #define PMD_TYPE_SECT		(_AT(pmdval_t, 1) << 0)
114084bd298SSteve Capper #define PMD_TABLE_BIT		(_AT(pmdval_t, 1) << 1)
1154f04d8f0SCatalin Marinas 
1164f04d8f0SCatalin Marinas /*
1174f04d8f0SCatalin Marinas  * Section
1184f04d8f0SCatalin Marinas  */
119af074848SSteve Capper #define PMD_SECT_VALID		(_AT(pmdval_t, 1) << 0)
120db4ed53cSSteve Capper #define PMD_SECT_PROT_NONE	(_AT(pmdval_t, 1) << 58)
121af074848SSteve Capper #define PMD_SECT_USER		(_AT(pmdval_t, 1) << 6)		/* AP[1] */
122af074848SSteve Capper #define PMD_SECT_RDONLY		(_AT(pmdval_t, 1) << 7)		/* AP[2] */
1234f04d8f0SCatalin Marinas #define PMD_SECT_S		(_AT(pmdval_t, 3) << 8)
1244f04d8f0SCatalin Marinas #define PMD_SECT_AF		(_AT(pmdval_t, 1) << 10)
1254f04d8f0SCatalin Marinas #define PMD_SECT_NG		(_AT(pmdval_t, 1) << 11)
126ecf35a23SJeremy Linton #define PMD_SECT_CONT		(_AT(pmdval_t, 1) << 52)
1278e620b04SCatalin Marinas #define PMD_SECT_PXN		(_AT(pmdval_t, 1) << 53)
1288e620b04SCatalin Marinas #define PMD_SECT_UXN		(_AT(pmdval_t, 1) << 54)
1294f04d8f0SCatalin Marinas 
1304f04d8f0SCatalin Marinas /*
1314f04d8f0SCatalin Marinas  * AttrIndx[2:0] encoding (mapping attributes defined in the MAIR* registers).
1324f04d8f0SCatalin Marinas  */
1334f04d8f0SCatalin Marinas #define PMD_ATTRINDX(t)		(_AT(pmdval_t, (t)) << 2)
1344f04d8f0SCatalin Marinas #define PMD_ATTRINDX_MASK	(_AT(pmdval_t, 7) << 2)
1354f04d8f0SCatalin Marinas 
1364f04d8f0SCatalin Marinas /*
1374f04d8f0SCatalin Marinas  * Level 3 descriptor (PTE).
1384f04d8f0SCatalin Marinas  */
1394f04d8f0SCatalin Marinas #define PTE_TYPE_MASK		(_AT(pteval_t, 3) << 0)
1404f04d8f0SCatalin Marinas #define PTE_TYPE_FAULT		(_AT(pteval_t, 0) << 0)
1414f04d8f0SCatalin Marinas #define PTE_TYPE_PAGE		(_AT(pteval_t, 3) << 0)
142084bd298SSteve Capper #define PTE_TABLE_BIT		(_AT(pteval_t, 1) << 1)
1434f04d8f0SCatalin Marinas #define PTE_USER		(_AT(pteval_t, 1) << 6)		/* AP[1] */
1444f04d8f0SCatalin Marinas #define PTE_RDONLY		(_AT(pteval_t, 1) << 7)		/* AP[2] */
1454f04d8f0SCatalin Marinas #define PTE_SHARED		(_AT(pteval_t, 3) << 8)		/* SH[1:0], inner shareable */
1464f04d8f0SCatalin Marinas #define PTE_AF			(_AT(pteval_t, 1) << 10)	/* Access Flag */
1474f04d8f0SCatalin Marinas #define PTE_NG			(_AT(pteval_t, 1) << 11)	/* nG */
1482f4b829cSCatalin Marinas #define PTE_DBM			(_AT(pteval_t, 1) << 51)	/* Dirty Bit Management */
149ecf35a23SJeremy Linton #define PTE_CONT		(_AT(pteval_t, 1) << 52)	/* Contiguous range */
1508e620b04SCatalin Marinas #define PTE_PXN			(_AT(pteval_t, 1) << 53)	/* Privileged XN */
1518e620b04SCatalin Marinas #define PTE_UXN			(_AT(pteval_t, 1) << 54)	/* User XN */
1524f04d8f0SCatalin Marinas 
1534f04d8f0SCatalin Marinas /*
1544f04d8f0SCatalin Marinas  * AttrIndx[2:0] encoding (mapping attributes defined in the MAIR* registers).
1554f04d8f0SCatalin Marinas  */
1564f04d8f0SCatalin Marinas #define PTE_ATTRINDX(t)		(_AT(pteval_t, (t)) << 2)
1574f04d8f0SCatalin Marinas #define PTE_ATTRINDX_MASK	(_AT(pteval_t, 7) << 2)
1584f04d8f0SCatalin Marinas 
1594f04d8f0SCatalin Marinas /*
16036311607SMarc Zyngier  * 2nd stage PTE definitions
16136311607SMarc Zyngier  */
16236311607SMarc Zyngier #define PTE_S2_RDONLY		(_AT(pteval_t, 1) << 6)   /* HAP[2:1] */
16336311607SMarc Zyngier #define PTE_S2_RDWR		(_AT(pteval_t, 3) << 6)   /* HAP[2:1] */
16436311607SMarc Zyngier 
1658199ed0eSMario Smarduch #define PMD_S2_RDONLY		(_AT(pmdval_t, 1) << 6)   /* HAP[2:1] */
166ad361f09SChristoffer Dall #define PMD_S2_RDWR		(_AT(pmdval_t, 3) << 6)   /* HAP[2:1] */
167ad361f09SChristoffer Dall 
16836311607SMarc Zyngier /*
16936311607SMarc Zyngier  * Memory Attribute override for Stage-2 (MemAttr[3:0])
17036311607SMarc Zyngier  */
17136311607SMarc Zyngier #define PTE_S2_MEMATTR(t)	(_AT(pteval_t, (t)) << 2)
17236311607SMarc Zyngier #define PTE_S2_MEMATTR_MASK	(_AT(pteval_t, 0xf) << 2)
17336311607SMarc Zyngier 
17436311607SMarc Zyngier /*
17536311607SMarc Zyngier  * EL2/HYP PTE/PMD definitions
17636311607SMarc Zyngier  */
17736311607SMarc Zyngier #define PMD_HYP			PMD_SECT_USER
17836311607SMarc Zyngier #define PTE_HYP			PTE_USER
17936311607SMarc Zyngier 
18036311607SMarc Zyngier /*
18187366d8cSRadha Mohan Chintakuntla  * Highest possible physical address supported.
1824f04d8f0SCatalin Marinas  */
18387366d8cSRadha Mohan Chintakuntla #define PHYS_MASK_SHIFT		(48)
1844f04d8f0SCatalin Marinas #define PHYS_MASK		((UL(1) << PHYS_MASK_SHIFT) - 1)
1854f04d8f0SCatalin Marinas 
1864f04d8f0SCatalin Marinas /*
1874f04d8f0SCatalin Marinas  * TCR flags.
1884f04d8f0SCatalin Marinas  */
189dd006da2SArd Biesheuvel #define TCR_T0SZ_OFFSET		0
190dd006da2SArd Biesheuvel #define TCR_T1SZ_OFFSET		16
191dd006da2SArd Biesheuvel #define TCR_T0SZ(x)		((UL(64) - (x)) << TCR_T0SZ_OFFSET)
192dd006da2SArd Biesheuvel #define TCR_T1SZ(x)		((UL(64) - (x)) << TCR_T1SZ_OFFSET)
193dd006da2SArd Biesheuvel #define TCR_TxSZ(x)		(TCR_T0SZ(x) | TCR_T1SZ(x))
194dd006da2SArd Biesheuvel #define TCR_TxSZ_WIDTH		6
1954f04d8f0SCatalin Marinas #define TCR_IRGN_NC		((UL(0) << 8) | (UL(0) << 24))
1964f04d8f0SCatalin Marinas #define TCR_IRGN_WBWA		((UL(1) << 8) | (UL(1) << 24))
1974f04d8f0SCatalin Marinas #define TCR_IRGN_WT		((UL(2) << 8) | (UL(2) << 24))
1984f04d8f0SCatalin Marinas #define TCR_IRGN_WBnWA		((UL(3) << 8) | (UL(3) << 24))
1994f04d8f0SCatalin Marinas #define TCR_IRGN_MASK		((UL(3) << 8) | (UL(3) << 24))
2004f04d8f0SCatalin Marinas #define TCR_ORGN_NC		((UL(0) << 10) | (UL(0) << 26))
2014f04d8f0SCatalin Marinas #define TCR_ORGN_WBWA		((UL(1) << 10) | (UL(1) << 26))
2024f04d8f0SCatalin Marinas #define TCR_ORGN_WT		((UL(2) << 10) | (UL(2) << 26))
2034f04d8f0SCatalin Marinas #define TCR_ORGN_WBnWA		((UL(3) << 10) | (UL(3) << 26))
2044f04d8f0SCatalin Marinas #define TCR_ORGN_MASK		((UL(3) << 10) | (UL(3) << 26))
2054f04d8f0SCatalin Marinas #define TCR_SHARED		((UL(3) << 12) | (UL(3) << 28))
20635a86976SCatalin Marinas #define TCR_TG0_4K		(UL(0) << 14)
2074f04d8f0SCatalin Marinas #define TCR_TG0_64K		(UL(1) << 14)
20835a86976SCatalin Marinas #define TCR_TG0_16K		(UL(2) << 14)
20935a86976SCatalin Marinas #define TCR_TG1_16K		(UL(1) << 30)
21035a86976SCatalin Marinas #define TCR_TG1_4K		(UL(2) << 30)
21135a86976SCatalin Marinas #define TCR_TG1_64K		(UL(3) << 30)
2124f04d8f0SCatalin Marinas #define TCR_ASID16		(UL(1) << 36)
213d50240a5SWill Deacon #define TCR_TBI0		(UL(1) << 37)
2142f4b829cSCatalin Marinas #define TCR_HA			(UL(1) << 39)
2152f4b829cSCatalin Marinas #define TCR_HD			(UL(1) << 40)
2164f04d8f0SCatalin Marinas 
2174f04d8f0SCatalin Marinas #endif
218