pte.h revision 1.15 1 1.15 pk /* $NetBSD: pte.h,v 1.15 1996/03/31 22:06:55 pk Exp $ */
2 1.7 deraadt
3 1.1 deraadt /*
4 1.15 pk * Copyright (c) 1996
5 1.15 pk * The President and Fellows of Harvard University. All rights reserved.
6 1.1 deraadt * Copyright (c) 1992, 1993
7 1.1 deraadt * The Regents of the University of California. All rights reserved.
8 1.1 deraadt *
9 1.1 deraadt * This software was developed by the Computer Systems Engineering group
10 1.1 deraadt * at Lawrence Berkeley Laboratory under DARPA contract BG 91-66 and
11 1.1 deraadt * contributed to Berkeley.
12 1.1 deraadt *
13 1.1 deraadt * All advertising materials mentioning features or use of this software
14 1.15 pk * must display the following acknowledgements:
15 1.15 pk * This product includes software developed by Harvard University.
16 1.1 deraadt * This product includes software developed by the University of
17 1.1 deraadt * California, Lawrence Berkeley Laboratory.
18 1.1 deraadt *
19 1.1 deraadt * Redistribution and use in source and binary forms, with or without
20 1.1 deraadt * modification, are permitted provided that the following conditions
21 1.1 deraadt * are met:
22 1.1 deraadt * 1. Redistributions of source code must retain the above copyright
23 1.1 deraadt * notice, this list of conditions and the following disclaimer.
24 1.1 deraadt * 2. Redistributions in binary form must reproduce the above copyright
25 1.1 deraadt * notice, this list of conditions and the following disclaimer in the
26 1.1 deraadt * documentation and/or other materials provided with the distribution.
27 1.1 deraadt * 3. All advertising materials mentioning features or use of this software
28 1.15 pk * must display the following acknowledgements:
29 1.15 pk * This product includes software developed by Harvard University.
30 1.1 deraadt * This product includes software developed by the University of
31 1.1 deraadt * California, Berkeley and its contributors.
32 1.1 deraadt * 4. Neither the name of the University nor the names of its contributors
33 1.1 deraadt * may be used to endorse or promote products derived from this software
34 1.1 deraadt * without specific prior written permission.
35 1.1 deraadt *
36 1.1 deraadt * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
37 1.1 deraadt * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
38 1.1 deraadt * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
39 1.1 deraadt * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
40 1.1 deraadt * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
41 1.1 deraadt * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
42 1.1 deraadt * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
43 1.1 deraadt * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
44 1.1 deraadt * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
45 1.1 deraadt * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
46 1.1 deraadt * SUCH DAMAGE.
47 1.1 deraadt *
48 1.1 deraadt * @(#)pte.h 8.1 (Berkeley) 6/11/93
49 1.15 pk *
50 1.15 pk * $Id: pte.h,v 1.15 1996/03/31 22:06:55 pk Exp $
51 1.1 deraadt */
52 1.1 deraadt
53 1.1 deraadt /*
54 1.15 pk * Sun-4 (sort of), 4c (SparcStation), and 4m Page Table Entries
55 1.15 pk * (Sun calls them `Page Map Entries').
56 1.1 deraadt */
57 1.1 deraadt
58 1.13 mycroft #ifndef _LOCORE
59 1.1 deraadt /*
60 1.1 deraadt * Segment maps contain `pmeg' (Page Map Entry Group) numbers.
61 1.1 deraadt * A PMEG is simply an index that names a group of 32 (sun4) or
62 1.1 deraadt * 64 (sun4c) PTEs.
63 1.9 pk * Depending on the CPU model, we need 7 (sun4c) to 10 (sun4/400) bits
64 1.9 pk * to hold the hardware MMU resource number.
65 1.1 deraadt */
66 1.9 pk typedef u_short pmeg_t; /* 10 bits needed per Sun-4 segmap entry */
67 1.8 pk /*
68 1.8 pk * Region maps contain `smeg' (Segment Entry Group) numbers.
69 1.9 pk * An SMEG is simply an index that names a group of 64 PMEGs.
70 1.8 pk */
71 1.9 pk typedef u_char smeg_t; /* 8 bits needed per Sun-4 regmap entry */
72 1.1 deraadt #endif
73 1.1 deraadt
74 1.1 deraadt /*
75 1.1 deraadt * Address translation works as follows:
76 1.1 deraadt *
77 1.8 pk * (for sun4c and 2-level sun4)
78 1.1 deraadt * 1. test va<31:29> -- these must be 000 or 111 (or you get a fault)
79 1.1 deraadt * 2. concatenate context_reg<2:0> and va<29:18> to get a 15 bit number;
80 1.8 pk * use this to index the segment maps, yielding a 7 or 9 bit value.
81 1.8 pk * (for 3-level sun4)
82 1.8 pk * 1. concatenate context_reg<3:0> and va<31:24> to get a 8 bit number;
83 1.8 pk * use this to index the region maps, yielding a 10 bit value.
84 1.8 pk * 2. take the value from (1) above and concatenate va<17:12> to
85 1.8 pk * get a `segment map entry' index. This gives a 9 bit value.
86 1.1 deraadt * (for sun4c)
87 1.1 deraadt * 3. take the value from (2) above and concatenate va<17:12> to
88 1.1 deraadt * get a `page map entry' index. This gives a 32-bit PTE.
89 1.1 deraadt * (for sun4)
90 1.8 pk * 3. take the value from (2 or 3) above and concatenate va<17:13> to
91 1.1 deraadt * get a `page map entry' index. This gives a 32-bit PTE.
92 1.15 pk **
93 1.15 pk * For sun4m:
94 1.15 pk * 1. Use context_reg<3:0> to index the context table (located at
95 1.15 pk * (context_reg << 2) | ((ctx_tbl_ptr_reg >> 2) << 6) ). This
96 1.15 pk * gives a 32-bit page-table-descriptor (PTP).
97 1.15 pk * 2. Use va<31:24> to index the region table located by the PTP from (1):
98 1.15 pk * PTP<31:6> << 10. This gives another PTP for the segment tables
99 1.15 pk * 3. Use va<23:18> to index the segment table located by the PTP from (2)
100 1.15 pk * as follows: PTP<31:4> << 8. This gives another PTP for the page tbl.
101 1.15 pk * 4. Use va<17:12> to index the page table given by (3)'s PTP:
102 1.15 pk * PTP<31:4> << 8. This gives a 32-bit PTE.
103 1.1 deraadt *
104 1.1 deraadt * In other words:
105 1.1 deraadt *
106 1.8 pk * struct sun4_3_levelmmu_virtual_addr {
107 1.8 pk * u_int va_reg:8, (virtual region)
108 1.8 pk * va_seg:6, (virtual segment)
109 1.8 pk * va_pg:5, (virtual page within segment)
110 1.8 pk * va_off:13; (offset within page)
111 1.8 pk * };
112 1.1 deraadt * struct sun4_virtual_addr {
113 1.1 deraadt * u_int :2, (required to be the same as bit 29)
114 1.1 deraadt * va_seg:12, (virtual segment)
115 1.1 deraadt * va_pg:5, (virtual page within segment)
116 1.1 deraadt * va_off:13; (offset within page)
117 1.1 deraadt * };
118 1.1 deraadt * struct sun4c_virtual_addr {
119 1.1 deraadt * u_int :2, (required to be the same as bit 29)
120 1.1 deraadt * va_seg:12, (virtual segment)
121 1.1 deraadt * va_pg:6, (virtual page within segment)
122 1.1 deraadt * va_off:12; (offset within page)
123 1.1 deraadt * };
124 1.1 deraadt *
125 1.15 pk * struct sun4m_virtual_addr {
126 1.15 pk * u_int va_reg:8, (virtual region)
127 1.15 pk * va_seg:6, (virtual segment within region)
128 1.15 pk * va_pg:6, (virtual page within segment)
129 1.15 pk * va_off:12; (offset within page)
130 1.15 pk * };
131 1.15 pk *
132 1.1 deraadt * Then, given any `va':
133 1.1 deraadt *
134 1.8 pk * extern smeg_t regmap[16][1<<8]; (3-level MMU only)
135 1.1 deraadt * extern pmeg_t segmap[8][1<<12]; ([16][1<<12] for sun4)
136 1.1 deraadt * extern int ptetable[128][1<<6]; ([512][1<<5] for sun4)
137 1.1 deraadt *
138 1.15 pk * extern u_int s4m_ctxmap[16]; (sun4m SRMMU only)
139 1.15 pk * extern u_int s4m_regmap[16][1<<8]; (sun4m SRMMU only)
140 1.15 pk * extern u_int s4m_segmap[1<<8][1<<6]; (sun4m SRMMU only)
141 1.15 pk * extern u_int s4m_pagmap[1<<14][1<<6]; (sun4m SRMMU only)
142 1.15 pk *
143 1.15 pk * (the above being in the hardware, accessed as Alternate Address Spaces on
144 1.15 pk * all machines but the Sun4m SRMMU, in which case the tables are in physical
145 1.15 pk * kernel memory. In the 4m architecture, the tables are not layed out as
146 1.15 pk * 2-dim arrays, but are sparsely allocated as needed, and point to each
147 1.15 pk * other.)
148 1.15 pk *
149 1.15 pk * if (cputyp==CPU_SUN4M) // SPARC Reference MMU
150 1.15 pk * regptp = s4m_ctxmap[curr_ctx];
151 1.15 pk * if (!(regptp & SRMMU_TEPTD)) TRAP();
152 1.15 pk * segptp = *(u_int *)(((regptp & ~0x3) << 4) | va.va_reg);
153 1.15 pk * if (!(segptp & SRMMU_TEPTD)) TRAP();
154 1.15 pk * pagptp = *(u_int *)(((segptp & ~0x3) << 4) | va.va_seg);
155 1.15 pk * if (!(pagptp & SRMMU_TEPTD)) TRAP();
156 1.15 pk * pte = *(u_int *)(((pagptp & ~0x3) << 4) | va.va_pg);
157 1.15 pk * if (!(pte & SRMMU_TEPTE)) TRAP(); // like PG_V
158 1.15 pk * if (usermode && PTE_PROT_LEVEL(pte) > 0x5) TRAP();
159 1.15 pk * if (writing && !PTE_PROT_LEVEL_ALLOWS_WRITING(pte)) TRAP();
160 1.15 pk * if (!(pte & SRMMU_PG_C)) DO_NOT_USE_CACHE_FOR_THIS_ACCESS();
161 1.15 pk * pte |= SRMMU_PG_U;
162 1.15 pk * if (writing) pte |= PG_M;
163 1.15 pk * physaddr = ((pte & SRMMU_PG_PFNUM) << SRMMU_PGSHIFT)|va.va_off;
164 1.15 pk * return;
165 1.8 pk * if (mmu_3l)
166 1.8 pk * physreg = regmap[curr_ctx][va.va_reg];
167 1.8 pk * physseg = segmap[physreg][va.va_seg];
168 1.8 pk * else
169 1.8 pk * physseg = segmap[curr_ctx][va.va_seg];
170 1.1 deraadt * pte = ptetable[physseg][va.va_pg];
171 1.1 deraadt * if (!(pte & PG_V)) TRAP();
172 1.1 deraadt * if (writing && !pte.pg_w) TRAP();
173 1.1 deraadt * if (usermode && pte.pg_s) TRAP();
174 1.1 deraadt * if (pte & PG_NC) DO_NOT_USE_CACHE_FOR_THIS_ACCESS();
175 1.1 deraadt * pte |= PG_U; (mark used/accessed)
176 1.1 deraadt * if (writing) pte |= PG_M; (mark modified)
177 1.1 deraadt * ptetable[physseg][va.va_pg] = pte;
178 1.1 deraadt * physadr = ((pte & PG_PFNUM) << PGSHIFT) | va.va_off;
179 1.1 deraadt */
180 1.1 deraadt
181 1.8 pk #if defined(MMU_3L) && !defined(SUN4)
182 1.8 pk #error "configuration error"
183 1.8 pk #endif
184 1.8 pk
185 1.8 pk #if defined(MMU_3L)
186 1.8 pk extern int mmu_3l;
187 1.8 pk #endif
188 1.8 pk
189 1.12 pk #define NBPRG (1 << 24) /* bytes per region */
190 1.12 pk #define RGSHIFT 24 /* log2(NBPRG) */
191 1.12 pk #define RGOFSET (NBPRG - 1) /* mask for region offset */
192 1.8 pk #define NSEGRG (NBPRG / NBPSG) /* segments per region */
193 1.8 pk
194 1.1 deraadt #define NBPSG (1 << 18) /* bytes per segment */
195 1.1 deraadt #define SGSHIFT 18 /* log2(NBPSG) */
196 1.1 deraadt #define SGOFSET (NBPSG - 1) /* mask for segment offset */
197 1.1 deraadt
198 1.1 deraadt /* number of PTEs that map one segment (not number that fit in one segment!) */
199 1.15 pk #if defined(SUN4) && (defined(SUN4C) || defined(SUN4M))
200 1.2 deraadt extern int nptesg;
201 1.4 deraadt #define NPTESG nptesg /* (which someone will have to initialize) */
202 1.1 deraadt #else
203 1.1 deraadt #define NPTESG (NBPSG / NBPG)
204 1.1 deraadt #endif
205 1.1 deraadt
206 1.8 pk /* virtual address to virtual region number */
207 1.8 pk #define VA_VREG(va) (((unsigned int)(va) >> RGSHIFT) & 255)
208 1.8 pk
209 1.1 deraadt /* virtual address to virtual segment number */
210 1.8 pk #define VA_VSEG(va) (((unsigned int)(va) >> SGSHIFT) & 63)
211 1.1 deraadt
212 1.1 deraadt /* virtual address to virtual page number, for Sun-4 and Sun-4c */
213 1.1 deraadt #define VA_SUN4_VPG(va) (((int)(va) >> 13) & 31)
214 1.1 deraadt #define VA_SUN4C_VPG(va) (((int)(va) >> 12) & 63)
215 1.15 pk #define VA_SUN4M_VPG(va) (((int)(va) >> 12) & 63)
216 1.15 pk
217 1.15 pk /* virtual address to offset within page */
218 1.15 pk #define VA_SUN4_OFF(va) (((int)(va)) & 0x1FFF)
219 1.15 pk #define VA_SUN4C_OFF(va) (((int)(va)) & 0xFFF)
220 1.15 pk #define VA_SUN4M_OFF(va) (((int)(va)) & 0xFFF)
221 1.1 deraadt
222 1.8 pk /* truncate virtual address to region base */
223 1.8 pk #define VA_ROUNDDOWNTOREG(va) ((int)(va) & ~RGOFSET)
224 1.8 pk
225 1.1 deraadt /* truncate virtual address to segment base */
226 1.1 deraadt #define VA_ROUNDDOWNTOSEG(va) ((int)(va) & ~SGOFSET)
227 1.1 deraadt
228 1.8 pk /* virtual segment to virtual address (must sign extend on holy MMUs!) */
229 1.15 pk #if defined(SUN4M) && !(defined(SUN4C) || defined(SUN4))
230 1.15 pk #define VRTOVA(vr) ((int)(vr) << RGSHIFT)
231 1.15 pk #define VSTOVA(vr,vs) (((int)(vr) << RGSHIFT) + ((int)(vs) << SGSHIFT))
232 1.15 pk #else
233 1.15 pk #if defined(MMU_3L) || defined(SUN4M) /* hairy.. */
234 1.15 pk #if !defined(MMU_3L)
235 1.15 pk #define _PTE_HAIRY_3L_TEST (cputyp==CPU_SUN4M)
236 1.15 pk #elif !defined(SUN4M)
237 1.15 pk #define _PTE_HAIRY_3L_TEST (mmu_3l)
238 1.15 pk #else
239 1.15 pk #define _PTE_HAIRY_3L_TEST (mmu_3l || cputyp==CPU_SUN4M)
240 1.15 pk #endif
241 1.15 pk #define VRTOVA(vr) (_PTE_HAIRY_3L_TEST \
242 1.8 pk ? ((int)(vr) << RGSHIFT) \
243 1.8 pk : (((int)(vr) << (RGSHIFT+2)) >> 2))
244 1.15 pk #define VSTOVA(vr,vs) (_PTE_HAIRY_3L_TEST \
245 1.15 pk ? (((int)(vr) << RGSHIFT) + ((int)(vs) << SGSHIFT)) \
246 1.15 pk : ((((int)(vr) << (RGSHIFT+2)) >> 2) + ((int)(vs) << SGSHIFT)))
247 1.8 pk #else
248 1.14 christos #define VRTOVA(vr) (((int)(vr) << (RGSHIFT+2)) >> 2)
249 1.15 pk #define VSTOVA(vr,vs) ((((int)(vr) << (RGSHIFT+2)) >> 2) + \
250 1.15 pk ((int)(vs) << SGSHIFT))
251 1.15 pk #endif
252 1.8 pk #endif
253 1.1 deraadt
254 1.9 pk extern int mmu_has_hole;
255 1.9 pk #define VA_INHOLE(va) (mmu_has_hole \
256 1.9 pk ? ( (unsigned int)(((int)(va) >> PG_VSHIFT) + 1) > 1) \
257 1.9 pk : 0)
258 1.9 pk
259 1.9 pk /* Define the virtual address space hole */
260 1.9 pk #define MMU_HOLE_START 0x20000000
261 1.9 pk #define MMU_HOLE_END 0xe0000000
262 1.9 pk
263 1.15 pk #if defined(SUN4M) /* Optimization: sun4m, sun4c have same page */
264 1.15 pk #if defined(SUN4) /* size, so they're used interchangeably */
265 1.15 pk #define VA_VPG(va) (cputyp==CPU_SUN4 ? VA_SUN4_VPG(va) : VA_SUN4C_VPG(va))
266 1.15 pk #define VA_OFF(VA) (cputyp==CPU_SUN4 ? VA_SUN4_OFF(va) : VA_SUN4C_OFF(va))
267 1.15 pk #else
268 1.15 pk #define VA_VPG(va) VA_SUN4M_VPG(va)
269 1.15 pk #define VA_OFF(va) VA_SUN4M_OFF(va)
270 1.15 pk #endif /* defined SUN4 */
271 1.15 pk #else /* 4m not defined */
272 1.4 deraadt #if defined(SUN4) && defined(SUN4C)
273 1.4 deraadt #define VA_VPG(va) (cputyp==CPU_SUN4C ? VA_SUN4C_VPG(va) : VA_SUN4_VPG(va))
274 1.15 pk #define VA_OFF(va) (cputyp==CPU_SUN4C ? VA_SUN4C_OFF(va) : VA_SUN4_OFF(va))
275 1.4 deraadt #endif
276 1.4 deraadt #if defined(SUN4C) && !defined(SUN4)
277 1.4 deraadt #define VA_VPG(va) VA_SUN4C_VPG(va)
278 1.15 pk #define VA_OFF(va) VA_SUN4C_OFF(va)
279 1.1 deraadt #endif
280 1.4 deraadt #if !defined(SUN4C) && defined(SUN4)
281 1.4 deraadt #define VA_VPG(va) VA_SUN4_VPG(va)
282 1.15 pk #define VA_OFF(va) VA_SUN4_OFF(va)
283 1.1 deraadt #endif
284 1.15 pk #endif /* defined 4m */
285 1.1 deraadt
286 1.15 pk /* there is no `struct pte'; we just use `int'; this is for non-4M only */
287 1.1 deraadt #define PG_V 0x80000000
288 1.1 deraadt #define PG_PROT 0x60000000 /* both protection bits */
289 1.1 deraadt #define PG_W 0x40000000 /* allowed to write */
290 1.1 deraadt #define PG_S 0x20000000 /* supervisor only */
291 1.1 deraadt #define PG_NC 0x10000000 /* non-cacheable */
292 1.1 deraadt #define PG_TYPE 0x0c000000 /* both type bits */
293 1.1 deraadt
294 1.1 deraadt #define PG_OBMEM 0x00000000 /* on board memory */
295 1.1 deraadt #define PG_OBIO 0x04000000 /* on board I/O (incl. Sbus on 4c) */
296 1.1 deraadt #define PG_VME16 0x08000000 /* 16-bit-data VME space */
297 1.1 deraadt #define PG_VME32 0x0c000000 /* 32-bit-data VME space */
298 1.15 pk #if defined(SUN4M)
299 1.15 pk #define PG_SUN4M_OBMEM 0x0 /* No type bits=>obmem on 4m */
300 1.15 pk #define PG_SUN4M_OBIO 0xf /* obio maps to 0xf on 4M */
301 1.15 pk #define SRMMU_PGTYPE 0xf0000000 /* Top 4 bits of pte PPN give type */
302 1.1 deraadt #endif
303 1.1 deraadt
304 1.1 deraadt #define PG_U 0x02000000
305 1.1 deraadt #define PG_M 0x01000000
306 1.15 pk #define PG_IOC 0x00800000
307 1.11 pk #define PG_MBZ 0x00780000 /* unused; must be zero (oh really?) */
308 1.1 deraadt #define PG_PFNUM 0x0007ffff /* n.b.: only 16 bits on sun4c */
309 1.1 deraadt
310 1.1 deraadt #define PG_TNC_SHIFT 26 /* shift to get PG_TYPE + PG_NC */
311 1.1 deraadt #define PG_M_SHIFT 24 /* shift to get PG_M, PG_U */
312 1.15 pk #define PG_M_SHIFT4M 5 /* shift to get SRMMU_PG_M,R on 4m */
313 1.1 deraadt /*efine PG_NOACC 0 ** XXX */
314 1.1 deraadt #define PG_KR 0x20000000
315 1.1 deraadt #define PG_KW 0x60000000
316 1.1 deraadt #define PG_URKR 0
317 1.1 deraadt #define PG_UW 0x40000000
318 1.1 deraadt
319 1.1 deraadt #ifdef KGDB
320 1.1 deraadt /* but we will define one for gdb anyway */
321 1.1 deraadt struct pte {
322 1.1 deraadt u_int pg_v:1,
323 1.1 deraadt pg_w:1,
324 1.1 deraadt pg_s:1,
325 1.1 deraadt pg_nc:1;
326 1.1 deraadt enum pgtype { pg_obmem, pg_obio, pg_vme16, pg_vme32 } pg_type:2;
327 1.1 deraadt u_int pg_u:1,
328 1.1 deraadt pg_m:1,
329 1.1 deraadt pg_mbz:5,
330 1.1 deraadt pg_pfnum:19;
331 1.1 deraadt };
332 1.15 pk #if defined(SUN4M)
333 1.15 pk struct srmmu_pte {
334 1.15 pk u_int pg_pfnum:20,
335 1.15 pk pg_c:1,
336 1.15 pk pg_m:1,
337 1.15 pk pg_u:1;
338 1.15 pk enum pgprot { pprot_r_r, pprot_rw_rw, pprot_rx_rx, pprot_rwx_rwx,
339 1.15 pk pprot_x_x, pprot_r_rw, pprot_n_rx, pprot_n_rwx }
340 1.15 pk pg_prot:3; /* prot. bits: pprot_<user>_<supervisor> */
341 1.15 pk u_int pg_must_be_2:2;
342 1.15 pk };
343 1.15 pk #endif
344 1.1 deraadt #endif
345 1.1 deraadt
346 1.1 deraadt /*
347 1.1 deraadt * These are needed in the register window code
348 1.1 deraadt * to check the validity of (ostensible) user stack PTEs.
349 1.1 deraadt */
350 1.9 pk #define PG_VSHIFT 29 /* (va>>vshift)==0 or -1 => valid */
351 1.1 deraadt /* XXX fix this name, it is a va shift not a pte bit shift! */
352 1.1 deraadt
353 1.1 deraadt #define PG_PROTSHIFT 29
354 1.1 deraadt #define PG_PROTUWRITE 6 /* PG_V,PG_W,!PG_S */
355 1.1 deraadt #define PG_PROTUREAD 4 /* PG_V,!PG_W,!PG_S */
356 1.1 deraadt
357 1.15 pk /* %%%: Fix above and below for 4m? */
358 1.15 pk
359 1.1 deraadt /* static __inline int PG_VALID(void *va) {
360 1.1 deraadt register int t = va; t >>= PG_VSHIFT; return (t == 0 || t == -1);
361 1.1 deraadt } */
362 1.10 pk
363 1.10 pk
364 1.10 pk /*
365 1.15 pk * Here are the bit definitions for 4M/SRMMU pte's
366 1.10 pk */
367 1.15 pk /* MMU TABLE ENTRIES */
368 1.15 pk #define SRMMU_TEINVALID 0x0 /* invalid (serves as !valid bit) */
369 1.15 pk #define SRMMU_TEPTD 0x1 /* Page Table Descriptor */
370 1.15 pk #define SRMMU_TEPTE 0x2 /* Page Table Entry */
371 1.15 pk #define SRMMU_TERES 0x3 /* reserved */
372 1.15 pk #define SRMMU_TETYPE 0x3 /* mask for table entry type */
373 1.15 pk /* PTE FIELDS */
374 1.15 pk #define SRMMU_PPNMASK 0xFFFFFF00
375 1.15 pk #define SRMMU_PPNSHIFT 0x8
376 1.15 pk #define SRMMU_PPNPASHIFT 0x4 /* shift to put ppn into PAddr */
377 1.15 pk #define SRMMU_L1PPNSHFT 0x14
378 1.15 pk #define SRMMU_L1PPNMASK 0xFFF00000
379 1.15 pk #define SRMMU_L2PPNSHFT 0xE
380 1.15 pk #define SRMMU_L2PPNMASK 0xFC000
381 1.15 pk #define SRMMU_L3PPNSHFT 0x8
382 1.15 pk #define SRMMU_L3PPNMASK 0x3F00
383 1.15 pk /* PTE BITS */
384 1.15 pk #define SRMMU_PG_C 0x80 /* cacheable */
385 1.15 pk #define SRMMU_PG_M 0x40 /* modified (dirty) */
386 1.15 pk #define SRMMU_PG_R 0x20 /* referenced */
387 1.15 pk #define SRMMU_PGBITSMSK 0xE0
388 1.15 pk /* PTE PROTECTION */
389 1.15 pk #define SRMMU_PROT_MASK 0x1C /* Mask protection bits out of pte */
390 1.15 pk #define SRMMU_PROT_SHFT 0x2
391 1.15 pk #define PPROT_R_R 0x0 /* These are in the form: */
392 1.15 pk #define PPROT_RW_RW 0x4 /* PPROT_<u>_<s> */
393 1.15 pk #define PPROT_RX_RX 0x8 /* where <u> is the user-mode */
394 1.15 pk #define PPROT_RWX_RWX 0xC /* permission, and <s> is the */
395 1.15 pk #define PPROT_X_X 0x10 /* supervisor mode permission. */
396 1.15 pk #define PPROT_R_RW 0x14 /* R=read, W=write, X=execute */
397 1.15 pk #define PPROT_N_RX 0x18 /* N=none. */
398 1.15 pk #define PPROT_N_RWX 0x1C
399 1.15 pk #define PPROT_WRITE 0x4 /* set iff write priv. allowed */
400 1.15 pk #define PPROT_S 0x18 /* effective S bit */
401 1.15 pk #define PPROT_U2S_OMASK 0x18 /* OR with prot. to revoke user priv */
402 1.15 pk /* TABLE SIZES */
403 1.15 pk #define SRMMU_L1SIZE 0x100
404 1.15 pk #define SRMMU_L2SIZE 0x40
405 1.15 pk #define SRMMU_L3SIZE 0x40
406 1.10 pk
407 1.10 pk /*
408 1.10 pk * IOMMU PTE bits.
409 1.10 pk */
410 1.15 pk #define IOPTE_PPN_MASK 0x07ffff00
411 1.15 pk #define IOPTE_PPN_SHIFT 8
412 1.15 pk #define IOPTE_RSVD 0x000000f1
413 1.15 pk #define IOPTE_WRITE 0x00000004
414 1.15 pk #define IOPTE_VALID 0x00000002
415