pgtable-types.h

 1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * Page table types definitions.
 4 *
 5 * Copyright (C) 2014 ARM Ltd.
 6 * Author: Catalin Marinas <catalin.marinas@arm.com>
 7 */
 8
 9#ifndef __ASM_PGTABLE_TYPES_H
10#define __ASM_PGTABLE_TYPES_H
11
12#include <asm/types.h>
13
14/*
15 * Page Table Descriptor
16 *
17 * Generic page table descriptor format from which
18 * all level specific descriptors can be derived.
19 */
20typedef u64 ptdesc_t;
21
22typedef ptdesc_t pteval_t;
23typedef ptdesc_t pmdval_t;
24typedef ptdesc_t pudval_t;
25typedef ptdesc_t p4dval_t;
26typedef ptdesc_t pgdval_t;
27
28/*
29 * These are used to make use of C type-checking..
30 */
31typedef struct { pteval_t pte; } pte_t;
32#define pte_val(x)	((x).pte)
33#define __pte(x)	((pte_t) { (x) } )
34
35#if CONFIG_PGTABLE_LEVELS > 2
36typedef struct { pmdval_t pmd; } pmd_t;
37#define pmd_val(x)	((x).pmd)
38#define __pmd(x)	((pmd_t) { (x) } )
39#endif
40
41#if CONFIG_PGTABLE_LEVELS > 3
42typedef struct { pudval_t pud; } pud_t;
43#define pud_val(x)	((x).pud)
44#define __pud(x)	((pud_t) { (x) } )
45#endif
46
47#if CONFIG_PGTABLE_LEVELS > 4
48typedef struct { p4dval_t p4d; } p4d_t;
49#define p4d_val(x)	((x).p4d)
50#define __p4d(x)	((p4d_t) { (x) } )
51#endif
52
53typedef struct { pgdval_t pgd; } pgd_t;
54#define pgd_val(x)	((x).pgd)
55#define __pgd(x)	((pgd_t) { (x) } )
56
57typedef struct { ptdesc_t pgprot; } pgprot_t;
58#define pgprot_val(x)	((x).pgprot)
59#define __pgprot(x)	((pgprot_t) { (x) } )
60
61#if CONFIG_PGTABLE_LEVELS == 2
62#include <asm-generic/pgtable-nopmd.h>
63#elif CONFIG_PGTABLE_LEVELS == 3
64#include <asm-generic/pgtable-nopud.h>
65#elif CONFIG_PGTABLE_LEVELS == 4
66#include <asm-generic/pgtable-nop4d.h>
67#endif
68
69#endif	/* __ASM_PGTABLE_TYPES_H */