xref: /kvm-unit-tests/lib/arm64/asm/pgtable-hwdef.h (revision abdc5d02a7796a55802509ac9bb704c721f2a5f6)
130b1bc86SAndrew Jones #ifndef _ASMARM64_PGTABLE_HWDEF_H_
230b1bc86SAndrew Jones #define _ASMARM64_PGTABLE_HWDEF_H_
330b1bc86SAndrew Jones /*
430b1bc86SAndrew Jones  * From arch/arm64/include/asm/pgtable-hwdef.h
530b1bc86SAndrew Jones  *      arch/arm64/include/asm/memory.h
649f758b8SAndrew Jones  *
749f758b8SAndrew Jones  * Copyright (C) 2017, Red Hat Inc, Andrew Jones <drjones@redhat.com>
849f758b8SAndrew Jones  *
949f758b8SAndrew Jones  * This work is licensed under the terms of the GNU GPL, version 2.
1030b1bc86SAndrew Jones  */
1149f758b8SAndrew Jones 
12a2d06852SNikos Nikoleris #include <asm/page.h>
13a2d06852SNikos Nikoleris 
1430b1bc86SAndrew Jones #define UL(x) _AC(x, UL)
1530b1bc86SAndrew Jones 
16a2d06852SNikos Nikoleris /*
17a2d06852SNikos Nikoleris  * The number of bits a given page table level, n (where n=0 is the top),
18a2d06852SNikos Nikoleris  * maps is ((max_n - n) - 1) * nr_bits_per_level + PAGE_SHIFT. Since a page
19a2d06852SNikos Nikoleris  * table descriptor is 8 bytes we have (PAGE_SHIFT - 3) bits per level. We
20a2d06852SNikos Nikoleris  * also have a maximum of 4 page table levels. Hence,
21a2d06852SNikos Nikoleris  */
22a2d06852SNikos Nikoleris #define PGTABLE_LEVEL_SHIFT(n) \
23a2d06852SNikos Nikoleris 	(((4 - (n)) - 1) * (PAGE_SHIFT - 3) + PAGE_SHIFT)
2430b1bc86SAndrew Jones #define PTRS_PER_PTE		(1 << (PAGE_SHIFT - 3))
2530b1bc86SAndrew Jones 
26a2d06852SNikos Nikoleris #if PGTABLE_LEVELS > 2
27a2d06852SNikos Nikoleris #define PMD_SHIFT		PGTABLE_LEVEL_SHIFT(2)
28a2d06852SNikos Nikoleris #define PTRS_PER_PMD		PTRS_PER_PTE
29a2d06852SNikos Nikoleris #define PMD_SIZE		(UL(1) << PMD_SHIFT)
30a2d06852SNikos Nikoleris #define PMD_MASK		(~(PMD_SIZE-1))
31a2d06852SNikos Nikoleris #else
32a2d06852SNikos Nikoleris #define PMD_SIZE		PGDIR_SIZE
33a2d06852SNikos Nikoleris #define PMD_MASK		PGDIR_MASK
34a2d06852SNikos Nikoleris #endif
35a2d06852SNikos Nikoleris 
36a2d06852SNikos Nikoleris #if PGTABLE_LEVELS > 3
37a2d06852SNikos Nikoleris #define PUD_SHIFT		PGTABLE_LEVEL_SHIFT(1)
38a2d06852SNikos Nikoleris #define PTRS_PER_PUD		PTRS_PER_PTE
39a2d06852SNikos Nikoleris #define PUD_SIZE		(UL(1) << PUD_SHIFT)
40a2d06852SNikos Nikoleris #define PUD_MASK		(~(PUD_SIZE-1))
41a2d06852SNikos Nikoleris #else
42a2d06852SNikos Nikoleris #define PUD_SIZE		PGDIR_SIZE
43a2d06852SNikos Nikoleris #define PUD_MASK		PGDIR_MASK
44a2d06852SNikos Nikoleris #endif
45a2d06852SNikos Nikoleris 
46a2d06852SNikos Nikoleris #define PUD_VALID		(_AT(pudval_t, 1) << 0)
47a2d06852SNikos Nikoleris 
4830b1bc86SAndrew Jones /*
4930b1bc86SAndrew Jones  * PGDIR_SHIFT determines the size a top-level page table entry can map
5030b1bc86SAndrew Jones  * (depending on the configuration, this level can be 0, 1 or 2).
5130b1bc86SAndrew Jones  */
52a2d06852SNikos Nikoleris #define PGDIR_SHIFT		PGTABLE_LEVEL_SHIFT(4 - PGTABLE_LEVELS)
5330b1bc86SAndrew Jones #define PGDIR_SIZE		(_AC(1, UL) << PGDIR_SHIFT)
5430b1bc86SAndrew Jones #define PGDIR_MASK		(~(PGDIR_SIZE-1))
5530b1bc86SAndrew Jones #define PTRS_PER_PGD		(1 << (VA_BITS - PGDIR_SHIFT))
5630b1bc86SAndrew Jones 
5702f1cdc8SAlexandru Elisei #define PGD_VALID		(_AT(pgdval_t, 1) << 0)
5802f1cdc8SAlexandru Elisei 
5930b1bc86SAndrew Jones /*
6030b1bc86SAndrew Jones  * Section address mask and size definitions.
6130b1bc86SAndrew Jones  */
6230b1bc86SAndrew Jones #define SECTION_SHIFT		PMD_SHIFT
6330b1bc86SAndrew Jones #define SECTION_SIZE		(_AC(1, UL) << SECTION_SHIFT)
6430b1bc86SAndrew Jones #define SECTION_MASK		(~(SECTION_SIZE-1))
6530b1bc86SAndrew Jones 
6630b1bc86SAndrew Jones /*
6730b1bc86SAndrew Jones  * Hardware page table definitions.
6830b1bc86SAndrew Jones  *
69a2d06852SNikos Nikoleris  * Level 0,1,2 descriptor (PGD, PUD and PMD).
7030b1bc86SAndrew Jones  */
7130b1bc86SAndrew Jones #define PMD_TYPE_MASK		(_AT(pmdval_t, 3) << 0)
7230b1bc86SAndrew Jones #define PMD_TYPE_FAULT		(_AT(pmdval_t, 0) << 0)
7330b1bc86SAndrew Jones #define PMD_TYPE_TABLE		(_AT(pmdval_t, 3) << 0)
7430b1bc86SAndrew Jones #define PMD_TYPE_SECT		(_AT(pmdval_t, 1) << 0)
7530b1bc86SAndrew Jones #define PMD_TABLE_BIT		(_AT(pmdval_t, 1) << 1)
7630b1bc86SAndrew Jones 
7730b1bc86SAndrew Jones /*
7830b1bc86SAndrew Jones  * Section
7930b1bc86SAndrew Jones  */
8030b1bc86SAndrew Jones #define PMD_SECT_VALID		(_AT(pmdval_t, 1) << 0)
8130b1bc86SAndrew Jones #define PMD_SECT_PROT_NONE	(_AT(pmdval_t, 1) << 58)
8230b1bc86SAndrew Jones #define PMD_SECT_USER		(_AT(pmdval_t, 1) << 6)		/* AP[1] */
8330b1bc86SAndrew Jones #define PMD_SECT_RDONLY		(_AT(pmdval_t, 1) << 7)		/* AP[2] */
8430b1bc86SAndrew Jones #define PMD_SECT_S		(_AT(pmdval_t, 3) << 8)
8530b1bc86SAndrew Jones #define PMD_SECT_AF		(_AT(pmdval_t, 1) << 10)
8630b1bc86SAndrew Jones #define PMD_SECT_NG		(_AT(pmdval_t, 1) << 11)
8730b1bc86SAndrew Jones #define PMD_SECT_PXN		(_AT(pmdval_t, 1) << 53)
8830b1bc86SAndrew Jones #define PMD_SECT_UXN		(_AT(pmdval_t, 1) << 54)
8930b1bc86SAndrew Jones 
9030b1bc86SAndrew Jones /*
9130b1bc86SAndrew Jones  * AttrIndx[2:0] encoding (mapping attributes defined in the MAIR* registers).
9230b1bc86SAndrew Jones  */
9330b1bc86SAndrew Jones #define PMD_ATTRINDX(t)		(_AT(pmdval_t, (t)) << 2)
9430b1bc86SAndrew Jones #define PMD_ATTRINDX_MASK	(_AT(pmdval_t, 7) << 2)
9530b1bc86SAndrew Jones 
9630b1bc86SAndrew Jones /*
9730b1bc86SAndrew Jones  * Level 3 descriptor (PTE).
9830b1bc86SAndrew Jones  */
9930b1bc86SAndrew Jones #define PTE_TYPE_MASK		(_AT(pteval_t, 3) << 0)
10030b1bc86SAndrew Jones #define PTE_TYPE_FAULT		(_AT(pteval_t, 0) << 0)
10130b1bc86SAndrew Jones #define PTE_TYPE_PAGE		(_AT(pteval_t, 3) << 0)
10202f1cdc8SAlexandru Elisei #define PTE_VALID		(_AT(pteval_t, 1) << 0)
10330b1bc86SAndrew Jones #define PTE_TABLE_BIT		(_AT(pteval_t, 1) << 1)
10430b1bc86SAndrew Jones #define PTE_USER		(_AT(pteval_t, 1) << 6)		/* AP[1] */
10530b1bc86SAndrew Jones #define PTE_RDONLY		(_AT(pteval_t, 1) << 7)		/* AP[2] */
10630b1bc86SAndrew Jones #define PTE_SHARED		(_AT(pteval_t, 3) << 8)		/* SH[1:0], inner shareable */
10730b1bc86SAndrew Jones #define PTE_AF			(_AT(pteval_t, 1) << 10)	/* Access Flag */
10830b1bc86SAndrew Jones #define PTE_NG			(_AT(pteval_t, 1) << 11)	/* nG */
10930b1bc86SAndrew Jones #define PTE_PXN			(_AT(pteval_t, 1) << 53)	/* Privileged XN */
11030b1bc86SAndrew Jones #define PTE_UXN			(_AT(pteval_t, 1) << 54)	/* User XN */
11130b1bc86SAndrew Jones 
11230b1bc86SAndrew Jones /*
11330b1bc86SAndrew Jones  * AttrIndx[2:0] encoding (mapping attributes defined in the MAIR* registers).
11430b1bc86SAndrew Jones  */
11530b1bc86SAndrew Jones #define PTE_ATTRINDX(t)		(_AT(pteval_t, (t)) << 2)
11630b1bc86SAndrew Jones #define PTE_ATTRINDX_MASK	(_AT(pteval_t, 7) << 2)
11730b1bc86SAndrew Jones 
11830b1bc86SAndrew Jones /*
11930b1bc86SAndrew Jones  * Highest possible physical address supported.
12030b1bc86SAndrew Jones  */
12130b1bc86SAndrew Jones #define PHYS_MASK_SHIFT		(48)
12230b1bc86SAndrew Jones #define PHYS_MASK		((UL(1) << PHYS_MASK_SHIFT) - 1)
12330b1bc86SAndrew Jones 
12430b1bc86SAndrew Jones /*
12530b1bc86SAndrew Jones  * TCR flags.
12630b1bc86SAndrew Jones  */
12730b1bc86SAndrew Jones #define TCR_TxSZ(x)		(((UL(64) - (x)) << 16) | ((UL(64) - (x)) << 0))
12830b1bc86SAndrew Jones #define TCR_IRGN_NC		((UL(0) << 8) | (UL(0) << 24))
12930b1bc86SAndrew Jones #define TCR_IRGN_WBWA		((UL(1) << 8) | (UL(1) << 24))
13030b1bc86SAndrew Jones #define TCR_IRGN_WT		((UL(2) << 8) | (UL(2) << 24))
13130b1bc86SAndrew Jones #define TCR_IRGN_WBnWA		((UL(3) << 8) | (UL(3) << 24))
13230b1bc86SAndrew Jones #define TCR_IRGN_MASK		((UL(3) << 8) | (UL(3) << 24))
13330b1bc86SAndrew Jones #define TCR_ORGN_NC		((UL(0) << 10) | (UL(0) << 26))
13430b1bc86SAndrew Jones #define TCR_ORGN_WBWA		((UL(1) << 10) | (UL(1) << 26))
13530b1bc86SAndrew Jones #define TCR_ORGN_WT		((UL(2) << 10) | (UL(2) << 26))
13630b1bc86SAndrew Jones #define TCR_ORGN_WBnWA		((UL(3) << 10) | (UL(3) << 26))
13730b1bc86SAndrew Jones #define TCR_ORGN_MASK		((UL(3) << 10) | (UL(3) << 26))
13830b1bc86SAndrew Jones #define TCR_SHARED		((UL(3) << 12) | (UL(3) << 28))
1398425ac5cSAlexandru Elisei #define TCR_EPD1		(UL(1) << 23)
14030b1bc86SAndrew Jones #define TCR_TG0_4K		(UL(0) << 14)
14130b1bc86SAndrew Jones #define TCR_TG0_64K		(UL(1) << 14)
14230b1bc86SAndrew Jones #define TCR_TG0_16K		(UL(2) << 14)
14330b1bc86SAndrew Jones #define TCR_TG1_16K		(UL(1) << 30)
14430b1bc86SAndrew Jones #define TCR_TG1_4K		(UL(2) << 30)
14530b1bc86SAndrew Jones #define TCR_TG1_64K		(UL(3) << 30)
14630b1bc86SAndrew Jones #define TCR_ASID16		(UL(1) << 36)
14730b1bc86SAndrew Jones #define TCR_TBI0		(UL(1) << 37)
148*1b59c632SVladimir Murzin #define TCR_TBI1		(UL(1) << 38)
149*1b59c632SVladimir Murzin #define TCR_TCMA0		(UL(1) << 57)
15030b1bc86SAndrew Jones 
15130b1bc86SAndrew Jones /*
15230b1bc86SAndrew Jones  * Memory types available.
15330b1bc86SAndrew Jones  */
15430b1bc86SAndrew Jones #define MT_DEVICE_nGnRnE	0	/* noncached */
15530b1bc86SAndrew Jones #define MT_DEVICE_nGnRE		1	/* device */
15630b1bc86SAndrew Jones #define MT_DEVICE_GRE		2
15730b1bc86SAndrew Jones #define MT_NORMAL_NC		3	/* writecombine */
15830b1bc86SAndrew Jones #define MT_NORMAL		4
159cc70e4b6SNikos Nikoleris #define MT_NORMAL_WT		5
160cc70e4b6SNikos Nikoleris #define MT_DEVICE_nGRE		6
161*1b59c632SVladimir Murzin #define MT_NORMAL_TAGGED	7
16230b1bc86SAndrew Jones 
16330b1bc86SAndrew Jones #endif /* _ASMARM64_PGTABLE_HWDEF_H_ */
164