1/* $NetBSD: pte.h,v 1.12 2019/03/09 08:42:25 maxv Exp $ */
2
3/*
4 * Copyright (c) 2001 Wasabi Systems, Inc.
5 * All rights reserved.
6 *
7 * Written by Frank van der Linden for Wasabi Systems, Inc.
8 *
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
11 * are met:
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
17 * 3. All advertising materials mentioning features or use of this software
18 * must display the following acknowledgement:
19 * This product includes software developed for the NetBSD Project by
20 * Wasabi Systems, Inc.
21 * 4. The name of Wasabi Systems, Inc. may not be used to endorse
22 * or promote products derived from this software without specific prior
23 * written permission.
24 *
25 * THIS SOFTWARE IS PROVIDED BY WASABI SYSTEMS, INC. ``AS IS'' AND
26 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
27 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
28 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL WASABI SYSTEMS, INC
29 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
30 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
31 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
32 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
33 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
34 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
35 * POSSIBILITY OF SUCH DAMAGE.
36 */
37
38#ifndef _AMD64_PTE_H_
39#define _AMD64_PTE_H_
40
41#ifdef __x86_64__
42
43/*
44 * amd64 MMU hardware structure:
45 *
46 * the (first generation) amd64 MMU is a 4-level MMU which maps 2^48 bytes
47 * of virtual memory. The pagesize we use is 4K (4096 [0x1000] bytes),
48 * although 2M and 4M can be used as well. The indexes in the levels
49 * are 9 bits wide (512 64bit entries per level), dividing the bits
50 * 9-9-9-9-12.
51 *
52 * The top level table, called PML4, contains 512 64bit entries pointing
53 * to 3rd level table. The 3rd level table is called the 'page directory
54 * pointers directory' and has 512 entries pointing to page directories.
55 * The 2nd level is the page directory, containing 512 pointers to
56 * page table pages. Lastly, level 1 consists of pages containing 512
57 * PTEs.
58 *
59 * Simply put, levels 4-1 all consist of pages containing 512
60 * entries pointing to the next level. Level 0 is the actual PTEs
61 * themselves.
62 *
63 * For a description on the other bits, which are i386 compatible,
64 * see the i386 pte.h
65 */
66
67#if !defined(_LOCORE)
68/*
69 * Here we define the data types for PDEs and PTEs.
70 */
71typedef uint64_t pd_entry_t; /* PDE */
72typedef uint64_t pt_entry_t; /* PTE */
73#endif
74
75/*
76 * Now we define various constants for playing with virtual addresses.
77 */
78#define L1_SHIFT 12
79#define L2_SHIFT 21
80#define L3_SHIFT 30
81#define L4_SHIFT 39
82#define NBPD_L1 (1UL << L1_SHIFT) /* # bytes mapped by L1 ent (4K) */
83#define NBPD_L2 (1UL << L2_SHIFT) /* # bytes mapped by L2 ent (2MB) */
84#define NBPD_L3 (1UL << L3_SHIFT) /* # bytes mapped by L3 ent (1G) */
85#define NBPD_L4 (1UL << L4_SHIFT) /* # bytes mapped by L4 ent (512G) */
86
87#define L4_MASK 0x0000ff8000000000
88#define L3_MASK 0x0000007fc0000000
89#define L2_MASK 0x000000003fe00000
90#define L1_MASK 0x00000000001ff000
91
92#define L4_FRAME L4_MASK
93#define L3_FRAME (L4_FRAME|L3_MASK)
94#define L2_FRAME (L3_FRAME|L2_MASK)
95#define L1_FRAME (L2_FRAME|L1_MASK)
96
97/*
98 * x86 PTE/PDE bits.
99 */
100#define PTE_P 0x0000000000000001 /* Present */
101#define PTE_W 0x0000000000000002 /* Write */
102#define PTE_U 0x0000000000000004 /* User */
103#define PTE_PWT 0x0000000000000008 /* Write-Through */
104#define PTE_PCD 0x0000000000000010 /* Cache-Disable */
105#define PTE_A 0x0000000000000020 /* Accessed */
106#define PTE_D 0x0000000000000040 /* Dirty */
107#define PTE_PAT 0x0000000000000080 /* PAT on 4KB Pages */
108#define PTE_PS 0x0000000000000080 /* Large Page Size */
109#define PTE_G 0x0000000000000100 /* Global Translation */
110#define PTE_AVL1 0x0000000000000200 /* Ignored by Hardware */
111#define PTE_AVL2 0x0000000000000400 /* Ignored by Hardware */
112#define PTE_AVL3 0x0000000000000800 /* Ignored by Hardware */
113#define PTE_LGPAT 0x0000000000001000 /* PAT on Large Pages */
114#define PTE_NX 0x8000000000000000 /* No Execute */
115
116#define PTE_4KFRAME 0x000ffffffffff000
117#define PTE_2MFRAME 0x000fffffffe00000
118#define PTE_1GFRAME 0x000fffffc0000000
119
120#define PTE_FRAME PTE_4KFRAME
121#define PTE_LGFRAME PTE_2MFRAME
122
123/* XXX To be deleted. */
124#define PG_V PTE_P
125#define PG_RW PTE_W
126#define PG_u PTE_U
127#define PG_WT PTE_PWT
128#define PG_N PTE_PCD
129#define PG_U PTE_A
130#define PG_M PTE_D
131#define PG_PAT PTE_PAT
132#define PG_PS PTE_PS
133#define PG_G PTE_G
134#define PG_AVAIL1 PTE_AVL1
135#define PG_AVAIL2 PTE_AVL2
136#define PG_AVAIL3 PTE_AVL3
137#define PG_LGPAT PTE_LGPAT
138#define PG_FRAME PTE_FRAME
139#define PG_NX PTE_NX
140#define PG_2MFRAME PTE_2MFRAME
141#define PG_1GFRAME PTE_1GFRAME
142#define PG_LGFRAME PTE_LGFRAME
143#define PG_KW PTE_W
144
145#include <x86/pte.h>
146
147#else /* !__x86_64__ */
148
149#include <i386/pte.h>
150
151#endif /* !__x86_64__ */
152
153#endif /* _AMD64_PTE_H_ */
154