xref: /kvm-unit-tests/lib/arm64/asm/page.h (revision a2d06852fe594b6b5a765dbca3480d469d8a57ff)
130b1bc86SAndrew Jones #ifndef _ASMARM64_PAGE_H_
230b1bc86SAndrew Jones #define _ASMARM64_PAGE_H_
330b1bc86SAndrew Jones /*
430b1bc86SAndrew Jones  * Adapted from
530b1bc86SAndrew Jones  *   arch/arm64/include/asm/pgtable-types.h
630b1bc86SAndrew Jones  *   include/asm-generic/pgtable-nopmd.h
730b1bc86SAndrew Jones  *
849f758b8SAndrew Jones  * Copyright (C) 2017, Red Hat Inc, Andrew Jones <drjones@redhat.com>
930b1bc86SAndrew Jones  *
1049f758b8SAndrew Jones  * This work is licensed under the terms of the GNU GPL, version 2.
1130b1bc86SAndrew Jones  */
1230b1bc86SAndrew Jones 
13*a2d06852SNikos Nikoleris #include <config.h>
14f3bd1e05SAndrew Jones #include <linux/const.h>
15*a2d06852SNikos Nikoleris #include <libcflat.h>
1630b1bc86SAndrew Jones 
17*a2d06852SNikos Nikoleris #define VA_BITS			48
1830b1bc86SAndrew Jones 
19*a2d06852SNikos Nikoleris #define PAGE_SIZE		CONFIG_PAGE_SIZE
20*a2d06852SNikos Nikoleris #if PAGE_SIZE == SZ_64K
2130b1bc86SAndrew Jones #define PAGE_SHIFT		16
22*a2d06852SNikos Nikoleris #elif PAGE_SIZE == SZ_16K
23*a2d06852SNikos Nikoleris #define PAGE_SHIFT		14
24*a2d06852SNikos Nikoleris #elif PAGE_SIZE == SZ_4K
25*a2d06852SNikos Nikoleris #define PAGE_SHIFT		12
26*a2d06852SNikos Nikoleris #else
27*a2d06852SNikos Nikoleris #error Unsupported PAGE_SIZE
28*a2d06852SNikos Nikoleris #endif
2930b1bc86SAndrew Jones #define PAGE_MASK		(~(PAGE_SIZE-1))
3030b1bc86SAndrew Jones 
31*a2d06852SNikos Nikoleris /*
32*a2d06852SNikos Nikoleris  * Since a page table descriptor is 8 bytes we have (PAGE_SHIFT - 3) bits
33*a2d06852SNikos Nikoleris  * of virtual address at each page table level. So, to get the number of
34*a2d06852SNikos Nikoleris  * page table levels needed, we round up the division of the number of
35*a2d06852SNikos Nikoleris  * address bits (VA_BITS - PAGE_SHIFT) by (PAGE_SHIFT - 3).
36*a2d06852SNikos Nikoleris  */
37*a2d06852SNikos Nikoleris #define PGTABLE_LEVELS \
38*a2d06852SNikos Nikoleris 	(((VA_BITS - PAGE_SHIFT) + ((PAGE_SHIFT - 3) - 1)) / (PAGE_SHIFT - 3))
39*a2d06852SNikos Nikoleris 
4030b1bc86SAndrew Jones #ifndef __ASSEMBLY__
4130b1bc86SAndrew Jones 
4230b1bc86SAndrew Jones #define PAGE_ALIGN(addr)	ALIGN(addr, PAGE_SIZE)
4330b1bc86SAndrew Jones 
4430b1bc86SAndrew Jones typedef u64 pteval_t;
4530b1bc86SAndrew Jones typedef u64 pmdval_t;
46*a2d06852SNikos Nikoleris typedef u64 pudval_t;
4730b1bc86SAndrew Jones typedef u64 pgdval_t;
4830b1bc86SAndrew Jones typedef struct { pteval_t pte; } pte_t;
49*a2d06852SNikos Nikoleris typedef struct { pmdval_t pmd; } pmd_t;
50*a2d06852SNikos Nikoleris typedef struct { pudval_t pud; } pud_t;
5130b1bc86SAndrew Jones typedef struct { pgdval_t pgd; } pgd_t;
5230b1bc86SAndrew Jones typedef struct { pteval_t pgprot; } pgprot_t;
5330b1bc86SAndrew Jones 
5430b1bc86SAndrew Jones #define pte_val(x)		((x).pte)
55*a2d06852SNikos Nikoleris #define pmd_val(x)		((x).pmd)
56*a2d06852SNikos Nikoleris #define pud_val(x)		((x).pud)
5730b1bc86SAndrew Jones #define pgd_val(x)		((x).pgd)
5830b1bc86SAndrew Jones #define pgprot_val(x)		((x).pgprot)
5930b1bc86SAndrew Jones 
6030b1bc86SAndrew Jones #define __pte(x)		((pte_t) { (x) } )
61*a2d06852SNikos Nikoleris #define __pmd(x)		((pmd_t) { (x) } )
62*a2d06852SNikos Nikoleris #define __pud(x)		((pud_t) { (x) } )
6330b1bc86SAndrew Jones #define __pgd(x)		((pgd_t) { (x) } )
6430b1bc86SAndrew Jones #define __pgprot(x)		((pgprot_t) { (x) } )
6530b1bc86SAndrew Jones 
6630b1bc86SAndrew Jones #define __va(x)			((void *)__phys_to_virt((phys_addr_t)(x)))
6730b1bc86SAndrew Jones #define __pa(x)			__virt_to_phys((unsigned long)(x))
6830b1bc86SAndrew Jones 
6930b1bc86SAndrew Jones #define virt_to_pfn(kaddr)	(__pa(kaddr) >> PAGE_SHIFT)
7030b1bc86SAndrew Jones #define pfn_to_virt(pfn)	__va((pfn) << PAGE_SHIFT)
7130b1bc86SAndrew Jones 
72f02b6363SAndrew Jones extern phys_addr_t __virt_to_phys(unsigned long addr);
73f02b6363SAndrew Jones extern unsigned long __phys_to_virt(phys_addr_t addr);
74f02b6363SAndrew Jones 
7530b1bc86SAndrew Jones #endif /* !__ASSEMBLY__ */
7630b1bc86SAndrew Jones #endif /* _ASMARM64_PAGE_H_ */
77