pmap.h revision 1.88 1 /* $NetBSD: pmap.h,v 1.88 2018/08/29 16:26:25 maxv Exp $ */
2
3 /*
4 * Copyright (c) 1997 Charles D. Cranor and Washington University.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 */
27
28 /*
29 * Copyright (c) 2001 Wasabi Systems, Inc.
30 * All rights reserved.
31 *
32 * Written by Frank van der Linden for Wasabi Systems, Inc.
33 *
34 * Redistribution and use in source and binary forms, with or without
35 * modification, are permitted provided that the following conditions
36 * are met:
37 * 1. Redistributions of source code must retain the above copyright
38 * notice, this list of conditions and the following disclaimer.
39 * 2. Redistributions in binary form must reproduce the above copyright
40 * notice, this list of conditions and the following disclaimer in the
41 * documentation and/or other materials provided with the distribution.
42 * 3. All advertising materials mentioning features or use of this software
43 * must display the following acknowledgement:
44 * This product includes software developed for the NetBSD Project by
45 * Wasabi Systems, Inc.
46 * 4. The name of Wasabi Systems, Inc. may not be used to endorse
47 * or promote products derived from this software without specific prior
48 * written permission.
49 *
50 * THIS SOFTWARE IS PROVIDED BY WASABI SYSTEMS, INC. ``AS IS'' AND
51 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
52 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
53 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL WASABI SYSTEMS, INC
54 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
55 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
56 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
57 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
58 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
59 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
60 * POSSIBILITY OF SUCH DAMAGE.
61 */
62
63 /*
64 * pmap.h: see pmap.c for the history of this pmap module.
65 */
66
67 #ifndef _X86_PMAP_H_
68 #define _X86_PMAP_H_
69
70 /*
71 * pl*_pi: index in the ptp page for a pde mapping a VA.
72 * (pl*_i below is the index in the virtual array of all pdes per level)
73 */
74 #define pl1_pi(VA) (((VA_SIGN_POS(VA)) & L1_MASK) >> L1_SHIFT)
75 #define pl2_pi(VA) (((VA_SIGN_POS(VA)) & L2_MASK) >> L2_SHIFT)
76 #define pl3_pi(VA) (((VA_SIGN_POS(VA)) & L3_MASK) >> L3_SHIFT)
77 #define pl4_pi(VA) (((VA_SIGN_POS(VA)) & L4_MASK) >> L4_SHIFT)
78
79 /*
80 * pl*_i: generate index into pde/pte arrays in virtual space
81 *
82 * pl_i(va, X) == plX_i(va) <= pl_i_roundup(va, X)
83 */
84 #define pl1_i(VA) (((VA_SIGN_POS(VA)) & L1_FRAME) >> L1_SHIFT)
85 #define pl2_i(VA) (((VA_SIGN_POS(VA)) & L2_FRAME) >> L2_SHIFT)
86 #define pl3_i(VA) (((VA_SIGN_POS(VA)) & L3_FRAME) >> L3_SHIFT)
87 #define pl4_i(VA) (((VA_SIGN_POS(VA)) & L4_FRAME) >> L4_SHIFT)
88 #define pl_i(va, lvl) \
89 (((VA_SIGN_POS(va)) & ptp_masks[(lvl)-1]) >> ptp_shifts[(lvl)-1])
90
91 #define pl_i_roundup(va, lvl) pl_i((va)+ ~ptp_masks[(lvl)-1], (lvl))
92
93 /*
94 * PTP macros:
95 * a PTP's index is the PD index of the PDE that points to it
96 * a PTP's offset is the byte-offset in the PTE space that this PTP is at
97 * a PTP's VA is the first VA mapped by that PTP
98 */
99
100 #define ptp_va2o(va, lvl) (pl_i(va, (lvl)+1) * PAGE_SIZE)
101
102 /* size of a PDP: usually one page, except for PAE */
103 #ifdef PAE
104 #define PDP_SIZE 4
105 #else
106 #define PDP_SIZE 1
107 #endif
108
109
110 #if defined(_KERNEL)
111 #include <sys/kcpuset.h>
112 #include <uvm/pmap/pmap_pvt.h>
113
114 #define BTSEG_NONE 0
115 #define BTSEG_TEXT 1
116 #define BTSEG_RODATA 2
117 #define BTSEG_DATA 3
118 #define BTSPACE_NSEGS 64
119
120 struct bootspace {
121 struct {
122 vaddr_t va;
123 paddr_t pa;
124 size_t sz;
125 } head;
126
127 /* Kernel segments. */
128 struct {
129 int type;
130 vaddr_t va;
131 paddr_t pa;
132 size_t sz;
133 } segs[BTSPACE_NSEGS];
134
135 /*
136 * The area used by the early kernel bootstrap. It contains the kernel
137 * symbols, the preloaded modules, the bootstrap tables, and the ISA I/O
138 * mem.
139 */
140 struct {
141 vaddr_t va;
142 paddr_t pa;
143 size_t sz;
144 } boot;
145
146 /* A magic VA usable by the bootstrap code. */
147 vaddr_t spareva;
148
149 /* Virtual address of the page directory. */
150 vaddr_t pdir;
151
152 /* Area dedicated to kernel modules (amd64 only). */
153 vaddr_t smodule;
154 vaddr_t emodule;
155 };
156
157 #define SLSPACE_NONE 0
158 #define SLAREA_USER 1
159 #define SLAREA_PTE 2
160 #define SLAREA_MAIN 3
161 #define SLAREA_PCPU 4
162 #define SLAREA_DMAP 5
163 #define SLAREA_HYPV 6
164 #define SLAREA_ASAN 7
165 #define SLAREA_KERN 8
166 #define SLSPACE_NAREAS 9
167
168 struct slotspace {
169 struct {
170 size_t sslot; /* start slot */
171 size_t nslot; /* # of slots */
172 bool active; /* area is active */
173 } area[SLSPACE_NAREAS];
174 };
175
176 extern struct slotspace slotspace;
177
178 #ifndef MAXGDTSIZ
179 #define MAXGDTSIZ 65536 /* XXX */
180 #endif
181
182 struct pcpu_entry {
183 uint8_t gdt[MAXGDTSIZ];
184 uint8_t tss[PAGE_SIZE];
185 uint8_t ist0[PAGE_SIZE];
186 uint8_t ist1[PAGE_SIZE];
187 uint8_t ist2[PAGE_SIZE];
188 uint8_t ist3[PAGE_SIZE];
189 uint8_t rsp0[2 * PAGE_SIZE];
190 } __packed;
191
192 struct pcpu_area {
193 #ifdef SVS
194 uint8_t utls[PAGE_SIZE];
195 #endif
196 uint8_t idt[PAGE_SIZE];
197 uint8_t ldt[PAGE_SIZE];
198 struct pcpu_entry ent[MAXCPUS];
199 } __packed;
200
201 extern struct pcpu_area *pcpuarea;
202
203 /*
204 * pmap data structures: see pmap.c for details of locking.
205 */
206
207 /*
208 * we maintain a list of all non-kernel pmaps
209 */
210
211 LIST_HEAD(pmap_head, pmap); /* struct pmap_head: head of a pmap list */
212
213 /*
214 * linked list of all non-kernel pmaps
215 */
216 extern struct pmap_head pmaps;
217 extern kmutex_t pmaps_lock; /* protects pmaps */
218
219 /*
220 * pool_cache(9) that PDPs are allocated from
221 */
222 extern struct pool_cache pmap_pdp_cache;
223
224 /*
225 * the pmap structure
226 *
227 * note that the pm_obj contains the lock pointer, the reference count,
228 * page list, and number of PTPs within the pmap.
229 *
230 * pm_lock is the same as the lock for vm object 0. Changes to
231 * the other objects may only be made if that lock has been taken
232 * (the other object locks are only used when uvm_pagealloc is called)
233 */
234
235 struct pmap {
236 struct uvm_object pm_obj[PTP_LEVELS-1]; /* objects for lvl >= 1) */
237 #define pm_lock pm_obj[0].vmobjlock
238 kmutex_t pm_obj_lock[PTP_LEVELS-1]; /* locks for pm_objs */
239 LIST_ENTRY(pmap) pm_list; /* list (lck by pm_list lock) */
240 pd_entry_t *pm_pdir; /* VA of PD (lck by object lock) */
241 paddr_t pm_pdirpa[PDP_SIZE]; /* PA of PDs (read-only after create) */
242 struct vm_page *pm_ptphint[PTP_LEVELS-1];
243 /* pointer to a PTP in our pmap */
244 struct pmap_statistics pm_stats; /* pmap stats (lck by object lock) */
245
246 #if !defined(__x86_64__)
247 vaddr_t pm_hiexec; /* highest executable mapping */
248 #endif /* !defined(__x86_64__) */
249 int pm_flags; /* see below */
250
251 union descriptor *pm_ldt; /* user-set LDT */
252 size_t pm_ldt_len; /* size of LDT in bytes */
253 int pm_ldt_sel; /* LDT selector */
254 kcpuset_t *pm_cpus; /* mask of CPUs using pmap */
255 kcpuset_t *pm_kernel_cpus; /* mask of CPUs using kernel part
256 of pmap */
257 kcpuset_t *pm_xen_ptp_cpus; /* mask of CPUs which have this pmap's
258 ptp mapped */
259 uint64_t pm_ncsw; /* for assertions */
260 struct vm_page *pm_gc_ptp; /* pages from pmap g/c */
261 };
262
263 /* macro to access pm_pdirpa slots */
264 #ifdef PAE
265 #define pmap_pdirpa(pmap, index) \
266 ((pmap)->pm_pdirpa[l2tol3(index)] + l2tol2(index) * sizeof(pd_entry_t))
267 #else
268 #define pmap_pdirpa(pmap, index) \
269 ((pmap)->pm_pdirpa[0] + (index) * sizeof(pd_entry_t))
270 #endif
271
272 /*
273 * MD flags that we use for pmap_enter and pmap_kenter_pa:
274 */
275
276 /*
277 * global kernel variables
278 */
279
280 /*
281 * PDPpaddr is the physical address of the kernel's PDP.
282 * - i386 non-PAE and amd64: PDPpaddr corresponds directly to the %cr3
283 * value associated to the kernel process, proc0.
284 * - i386 PAE: it still represents the PA of the kernel's PDP (L2). Due to
285 * the L3 PD, it cannot be considered as the equivalent of a %cr3 any more.
286 * - Xen: it corresponds to the PFN of the kernel's PDP.
287 */
288 extern u_long PDPpaddr;
289
290 extern pd_entry_t pmap_pg_g; /* do we support PG_G? */
291 extern pd_entry_t pmap_pg_nx; /* do we support PG_NX? */
292 extern int pmap_largepages;
293 extern long nkptp[PTP_LEVELS];
294
295 /*
296 * macros
297 */
298
299 #define pmap_resident_count(pmap) ((pmap)->pm_stats.resident_count)
300 #define pmap_wired_count(pmap) ((pmap)->pm_stats.wired_count)
301
302 #define pmap_clear_modify(pg) pmap_clear_attrs(pg, PG_M)
303 #define pmap_clear_reference(pg) pmap_clear_attrs(pg, PG_U)
304 #define pmap_copy(DP,SP,D,L,S) __USE(L)
305 #define pmap_is_modified(pg) pmap_test_attrs(pg, PG_M)
306 #define pmap_is_referenced(pg) pmap_test_attrs(pg, PG_U)
307 #define pmap_move(DP,SP,D,L,S)
308 #define pmap_phys_address(ppn) (x86_ptob(ppn) & ~X86_MMAP_FLAG_MASK)
309 #define pmap_mmap_flags(ppn) x86_mmap_flags(ppn)
310 #define pmap_valid_entry(E) ((E) & PG_V) /* is PDE or PTE valid? */
311
312 #if defined(__x86_64__) || defined(PAE)
313 #define X86_MMAP_FLAG_SHIFT (64 - PGSHIFT)
314 #else
315 #define X86_MMAP_FLAG_SHIFT (32 - PGSHIFT)
316 #endif
317
318 #define X86_MMAP_FLAG_MASK 0xf
319 #define X86_MMAP_FLAG_PREFETCH 0x1
320
321 /*
322 * prototypes
323 */
324
325 void pmap_activate(struct lwp *);
326 void pmap_bootstrap(vaddr_t);
327 bool pmap_clear_attrs(struct vm_page *, unsigned);
328 bool pmap_pv_clear_attrs(paddr_t, unsigned);
329 void pmap_deactivate(struct lwp *);
330 void pmap_page_remove(struct vm_page *);
331 void pmap_pv_remove(paddr_t);
332 void pmap_remove(struct pmap *, vaddr_t, vaddr_t);
333 bool pmap_test_attrs(struct vm_page *, unsigned);
334 void pmap_write_protect(struct pmap *, vaddr_t, vaddr_t, vm_prot_t);
335 void pmap_load(void);
336 paddr_t pmap_init_tmp_pgtbl(paddr_t);
337 void pmap_remove_all(struct pmap *);
338 void pmap_ldt_cleanup(struct lwp *);
339 void pmap_ldt_sync(struct pmap *);
340 void pmap_kremove_local(vaddr_t, vsize_t);
341
342 #define __HAVE_PMAP_PV_TRACK 1
343 void pmap_pv_init(void);
344 void pmap_pv_track(paddr_t, psize_t);
345 void pmap_pv_untrack(paddr_t, psize_t);
346
347 void pmap_map_ptes(struct pmap *, struct pmap **, pd_entry_t **,
348 pd_entry_t * const **);
349 void pmap_unmap_ptes(struct pmap *, struct pmap *);
350
351 int pmap_pdes_invalid(vaddr_t, pd_entry_t * const *, pd_entry_t *);
352
353 u_int x86_mmap_flags(paddr_t);
354
355 bool pmap_is_curpmap(struct pmap *);
356
357 #ifndef __HAVE_DIRECT_MAP
358 void pmap_vpage_cpu_init(struct cpu_info *);
359 #endif
360 vaddr_t slotspace_rand(int, size_t, size_t);
361
362 vaddr_t reserve_dumppages(vaddr_t); /* XXX: not a pmap fn */
363
364 typedef enum tlbwhy {
365 TLBSHOOT_APTE,
366 TLBSHOOT_KENTER,
367 TLBSHOOT_KREMOVE,
368 TLBSHOOT_FREE_PTP1,
369 TLBSHOOT_FREE_PTP2,
370 TLBSHOOT_REMOVE_PTE,
371 TLBSHOOT_REMOVE_PTES,
372 TLBSHOOT_SYNC_PV1,
373 TLBSHOOT_SYNC_PV2,
374 TLBSHOOT_WRITE_PROTECT,
375 TLBSHOOT_ENTER,
376 TLBSHOOT_UPDATE,
377 TLBSHOOT_BUS_DMA,
378 TLBSHOOT_BUS_SPACE,
379 TLBSHOOT__MAX,
380 } tlbwhy_t;
381
382 void pmap_tlb_init(void);
383 void pmap_tlb_cpu_init(struct cpu_info *);
384 void pmap_tlb_shootdown(pmap_t, vaddr_t, pt_entry_t, tlbwhy_t);
385 void pmap_tlb_shootnow(void);
386 void pmap_tlb_intr(void);
387
388 #define PMAP_GROWKERNEL /* turn on pmap_growkernel interface */
389 #define PMAP_FORK /* turn on pmap_fork interface */
390
391 /*
392 * Do idle page zero'ing uncached to avoid polluting the cache.
393 */
394 bool pmap_pageidlezero(paddr_t);
395 #define PMAP_PAGEIDLEZERO(pa) pmap_pageidlezero((pa))
396
397 /*
398 * inline functions
399 */
400
401 __inline static bool __unused
402 pmap_pdes_valid(vaddr_t va, pd_entry_t * const *pdes, pd_entry_t *lastpde)
403 {
404 return pmap_pdes_invalid(va, pdes, lastpde) == 0;
405 }
406
407 /*
408 * pmap_update_pg: flush one page from the TLB (or flush the whole thing
409 * if hardware doesn't support one-page flushing)
410 */
411
412 __inline static void __unused
413 pmap_update_pg(vaddr_t va)
414 {
415 invlpg(va);
416 }
417
418 /*
419 * pmap_page_protect: change the protection of all recorded mappings
420 * of a managed page
421 *
422 * => this function is a frontend for pmap_page_remove/pmap_clear_attrs
423 * => we only have to worry about making the page more protected.
424 * unprotecting a page is done on-demand at fault time.
425 */
426
427 __inline static void __unused
428 pmap_page_protect(struct vm_page *pg, vm_prot_t prot)
429 {
430 if ((prot & VM_PROT_WRITE) == 0) {
431 if (prot & (VM_PROT_READ|VM_PROT_EXECUTE)) {
432 (void) pmap_clear_attrs(pg, PG_RW);
433 } else {
434 pmap_page_remove(pg);
435 }
436 }
437 }
438
439 /*
440 * pmap_pv_protect: change the protection of all recorded mappings
441 * of an unmanaged page
442 */
443
444 __inline static void __unused
445 pmap_pv_protect(paddr_t pa, vm_prot_t prot)
446 {
447 if ((prot & VM_PROT_WRITE) == 0) {
448 if (prot & (VM_PROT_READ|VM_PROT_EXECUTE)) {
449 (void) pmap_pv_clear_attrs(pa, PG_RW);
450 } else {
451 pmap_pv_remove(pa);
452 }
453 }
454 }
455
456 /*
457 * pmap_protect: change the protection of pages in a pmap
458 *
459 * => this function is a frontend for pmap_remove/pmap_write_protect
460 * => we only have to worry about making the page more protected.
461 * unprotecting a page is done on-demand at fault time.
462 */
463
464 __inline static void __unused
465 pmap_protect(struct pmap *pmap, vaddr_t sva, vaddr_t eva, vm_prot_t prot)
466 {
467 if ((prot & VM_PROT_WRITE) == 0) {
468 if (prot & (VM_PROT_READ|VM_PROT_EXECUTE)) {
469 pmap_write_protect(pmap, sva, eva, prot);
470 } else {
471 pmap_remove(pmap, sva, eva);
472 }
473 }
474 }
475
476 /*
477 * various address inlines
478 *
479 * vtopte: return a pointer to the PTE mapping a VA, works only for
480 * user and PT addresses
481 *
482 * kvtopte: return a pointer to the PTE mapping a kernel VA
483 */
484
485 #include <lib/libkern/libkern.h>
486
487 static __inline pt_entry_t * __unused
488 vtopte(vaddr_t va)
489 {
490
491 KASSERT(va < VM_MIN_KERNEL_ADDRESS);
492
493 return (PTE_BASE + pl1_i(va));
494 }
495
496 static __inline pt_entry_t * __unused
497 kvtopte(vaddr_t va)
498 {
499 pd_entry_t *pde;
500
501 KASSERT(va >= VM_MIN_KERNEL_ADDRESS);
502
503 pde = L2_BASE + pl2_i(va);
504 if (*pde & PG_PS)
505 return ((pt_entry_t *)pde);
506
507 return (PTE_BASE + pl1_i(va));
508 }
509
510 paddr_t vtophys(vaddr_t);
511 vaddr_t pmap_map(vaddr_t, paddr_t, paddr_t, vm_prot_t);
512 void pmap_cpu_init_late(struct cpu_info *);
513 bool sse2_idlezero_page(void *);
514
515 #ifdef XEN
516 #include <sys/bitops.h>
517
518 #define XPTE_MASK L1_FRAME
519 /* Selects the index of a PTE in (A)PTE_BASE */
520 #define XPTE_SHIFT (L1_SHIFT - ilog2(sizeof(pt_entry_t)))
521
522 /* PTE access inline fuctions */
523
524 /*
525 * Get the machine address of the pointed pte
526 * We use hardware MMU to get value so works only for levels 1-3
527 */
528
529 static __inline paddr_t
530 xpmap_ptetomach(pt_entry_t *pte)
531 {
532 pt_entry_t *up_pte;
533 vaddr_t va = (vaddr_t) pte;
534
535 va = ((va & XPTE_MASK) >> XPTE_SHIFT) | (vaddr_t) PTE_BASE;
536 up_pte = (pt_entry_t *) va;
537
538 return (paddr_t) (((*up_pte) & PG_FRAME) + (((vaddr_t) pte) & (~PG_FRAME & ~VA_SIGN_MASK)));
539 }
540
541 /* Xen helpers to change bits of a pte */
542 #define XPMAP_UPDATE_DIRECT 1 /* Update direct map entry flags too */
543
544 paddr_t vtomach(vaddr_t);
545 #define vtomfn(va) (vtomach(va) >> PAGE_SHIFT)
546 #endif /* XEN */
547
548 /* pmap functions with machine addresses */
549 void pmap_kenter_ma(vaddr_t, paddr_t, vm_prot_t, u_int);
550 int pmap_enter_ma(struct pmap *, vaddr_t, paddr_t, paddr_t,
551 vm_prot_t, u_int, int);
552 bool pmap_extract_ma(pmap_t, vaddr_t, paddr_t *);
553 void pmap_free_ptps(struct vm_page *);
554
555 paddr_t pmap_get_physpage(void);
556
557 /*
558 * Hooks for the pool allocator.
559 */
560 #define POOL_VTOPHYS(va) vtophys((vaddr_t) (va))
561
562 #ifdef __HAVE_PCPU_AREA
563 extern struct pcpu_area *pcpuarea;
564 #define PDIR_SLOT_PCPU 510
565 #define PMAP_PCPU_BASE (VA_SIGN_NEG((PDIR_SLOT_PCPU * NBPD_L4)))
566 #endif
567
568 #ifdef __HAVE_DIRECT_MAP
569
570 extern vaddr_t pmap_direct_base;
571 extern vaddr_t pmap_direct_end;
572
573 #define PMAP_DIRECT_BASE pmap_direct_base
574 #define PMAP_DIRECT_END pmap_direct_end
575
576 #define PMAP_DIRECT_MAP(pa) ((vaddr_t)PMAP_DIRECT_BASE + (pa))
577 #define PMAP_DIRECT_UNMAP(va) ((paddr_t)(va) - PMAP_DIRECT_BASE)
578
579 /*
580 * Alternate mapping hooks for pool pages.
581 */
582 #define PMAP_MAP_POOLPAGE(pa) PMAP_DIRECT_MAP((pa))
583 #define PMAP_UNMAP_POOLPAGE(va) PMAP_DIRECT_UNMAP((va))
584
585 void pagezero(vaddr_t);
586
587 #endif /* __HAVE_DIRECT_MAP */
588
589 #endif /* _KERNEL */
590
591 #endif /* _X86_PMAP_H_ */
592