xref: /dflybsd-src/sys/platform/vkernel64/include/pmap.h (revision c713db6503bc6265bc72798c81dd18b02aeb4fae)
1da673940SJordan Gordeev /*
2da673940SJordan Gordeev  * Copyright (c) 1991 Regents of the University of California.
3da673940SJordan Gordeev  * All rights reserved.
4da673940SJordan Gordeev  *
5da673940SJordan Gordeev  * This code is derived from software contributed to Berkeley by
6da673940SJordan Gordeev  * the Systems Programming Group of the University of Utah Computer
7da673940SJordan Gordeev  * Science Department and William Jolitz of UUNET Technologies Inc.
8da673940SJordan Gordeev  *
9da673940SJordan Gordeev  * Redistribution and use in source and binary forms, with or without
10da673940SJordan Gordeev  * modification, are permitted provided that the following conditions
11da673940SJordan Gordeev  * are met:
12da673940SJordan Gordeev  * 1. Redistributions of source code must retain the above copyright
13da673940SJordan Gordeev  *    notice, this list of conditions and the following disclaimer.
14da673940SJordan Gordeev  * 2. Redistributions in binary form must reproduce the above copyright
15da673940SJordan Gordeev  *    notice, this list of conditions and the following disclaimer in the
16da673940SJordan Gordeev  *    documentation and/or other materials provided with the distribution.
172c64e990Szrj  * 3. Neither the name of the University nor the names of its contributors
18da673940SJordan Gordeev  *    may be used to endorse or promote products derived from this software
19da673940SJordan Gordeev  *    without specific prior written permission.
20da673940SJordan Gordeev  *
21da673940SJordan Gordeev  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
22da673940SJordan Gordeev  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23da673940SJordan Gordeev  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24da673940SJordan Gordeev  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
25da673940SJordan Gordeev  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26da673940SJordan Gordeev  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27da673940SJordan Gordeev  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28da673940SJordan Gordeev  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29da673940SJordan Gordeev  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30da673940SJordan Gordeev  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31da673940SJordan Gordeev  * SUCH DAMAGE.
32da673940SJordan Gordeev  *
33da673940SJordan Gordeev  * Derived from hp300 version by Mike Hibler, this version by William
34da673940SJordan Gordeev  * Jolitz uses a recursive map [a pde points to the page directory] to
35da673940SJordan Gordeev  * map the page tables using the pagetables themselves. This is done to
36da673940SJordan Gordeev  * reduce the impact on kernel virtual memory for lots of sparse address
37da673940SJordan Gordeev  * space, and to reduce the cost of memory to each process.
38da673940SJordan Gordeev  *
39da673940SJordan Gordeev  * from: hp300: @(#)pmap.h	7.2 (Berkeley) 12/16/90
40da673940SJordan Gordeev  * from: @(#)pmap.h	7.4 (Berkeley) 5/12/91
41da673940SJordan Gordeev  * $FreeBSD: src/sys/i386/include/pmap.h,v 1.65.2.3 2001/10/03 07:15:37 peter Exp $
42da673940SJordan Gordeev  */
43da673940SJordan Gordeev 
44da673940SJordan Gordeev #ifndef _MACHINE_PMAP_H_
45da673940SJordan Gordeev #define	_MACHINE_PMAP_H_
46da673940SJordan Gordeev 
47da673940SJordan Gordeev #include <cpu/pmap.h>
48da673940SJordan Gordeev 
49da673940SJordan Gordeev /*
50da673940SJordan Gordeev  * Pte related macros
51da673940SJordan Gordeev  */
52da673940SJordan Gordeev #define KVADDR(l4, l3, l2, l1) ( \
53da673940SJordan Gordeev 	((unsigned long)-1 << 47) | \
54da673940SJordan Gordeev 	((unsigned long)(l4) << PML4SHIFT) | \
55da673940SJordan Gordeev 	((unsigned long)(l3) << PDPSHIFT) | \
56da673940SJordan Gordeev 	((unsigned long)(l2) << PDRSHIFT) | \
57da673940SJordan Gordeev 	((unsigned long)(l1) << PAGE_SHIFT))
58da673940SJordan Gordeev 
59da673940SJordan Gordeev #define UVADDR(l4, l3, l2, l1) ( \
60da673940SJordan Gordeev 	((unsigned long)(l4) << PML4SHIFT) | \
61da673940SJordan Gordeev 	((unsigned long)(l3) << PDPSHIFT) | \
62da673940SJordan Gordeev 	((unsigned long)(l2) << PDRSHIFT) | \
63da673940SJordan Gordeev 	((unsigned long)(l1) << PAGE_SHIFT))
64da673940SJordan Gordeev 
65ad54aa11SMatthew Dillon /*
66ad54aa11SMatthew Dillon  * Initial number of kernel page tables.  NKPT is now calculated in the
67ad54aa11SMatthew Dillon  * pmap code.
68ad54aa11SMatthew Dillon  *
69ad54aa11SMatthew Dillon  * Give NKPDPE a generous value, allowing the kernel to map up to 128G.
70ad54aa11SMatthew Dillon  */
71da673940SJordan Gordeev #define NKPML4E		1		/* number of kernel PML4 slots */
72ad54aa11SMatthew Dillon #define NKPDPE		128		/* number of kernel PDP slots */
73da673940SJordan Gordeev 
74c78d5661SMatthew Dillon #define	NUPDP_TOTAL	(NPML4EPG/2)		/* total PDP pages */
75c78d5661SMatthew Dillon #define	NUPD_TOTAL	(NUPDP_TOTAL*NPDPEPG)	/* total PD pages */
76c78d5661SMatthew Dillon #define	NUPT_TOTAL	(NUPD_TOTAL*NPDEPG)	/* total PT pages */
77da673940SJordan Gordeev 
78da673940SJordan Gordeev #define	NDMPML4E	1		/* number of dmap PML4 slots */
79a86ce0cdSMatthew Dillon #define	NDMPDPE		NPTEPG		/* number of dmap PDPE slots */
80da673940SJordan Gordeev 
81da673940SJordan Gordeev /*
82da673940SJordan Gordeev  * The *PML4I values control the layout of virtual memory
83da673940SJordan Gordeev  */
84c78d5661SMatthew Dillon #define	PML4PML4I	NUPDP_TOTAL	/* Index of recursive pml4 mapping */
85c78d5661SMatthew Dillon #define NUPML4E		NUPDP_TOTAL	/* for vmparam.h */
86c78d5661SMatthew Dillon 
87da673940SJordan Gordeev 
88b7d3e109SMatthew Dillon /*
89b7d3e109SMatthew Dillon  * Currently no tests available (see vm/vm_page.c)
90b7d3e109SMatthew Dillon  */
91b7d3e109SMatthew Dillon #define MD_PAGE_FREEABLE(m)	1
92da673940SJordan Gordeev 
93da673940SJordan Gordeev #ifndef LOCORE
94da673940SJordan Gordeev 
95da673940SJordan Gordeev #ifndef _SYS_TYPES_H_
96da673940SJordan Gordeev #include <sys/types.h>
97da673940SJordan Gordeev #endif
98da82a65aSzrj #ifndef _SYS_CPUMASK_H_
99da82a65aSzrj #include <sys/cpumask.h>
100da82a65aSzrj #endif
101da673940SJordan Gordeev #ifndef _SYS_QUEUE_H_
102da673940SJordan Gordeev #include <sys/queue.h>
103da673940SJordan Gordeev #endif
104b12defdcSMatthew Dillon #ifndef _SYS_SPINLOCK_H_
105b12defdcSMatthew Dillon #include <sys/spinlock.h>
106b12defdcSMatthew Dillon #endif
107b12defdcSMatthew Dillon #ifndef _SYS_THREAD_H_
108b12defdcSMatthew Dillon #include <sys/thread.h>
109b12defdcSMatthew Dillon #endif
110da673940SJordan Gordeev #ifndef _SYS_VKERNEL_H_
111da673940SJordan Gordeev #include <sys/vkernel.h>
112da673940SJordan Gordeev #endif
113da673940SJordan Gordeev #ifndef _MACHINE_TYPES_H_
114da673940SJordan Gordeev #include <machine/types.h>
115da673940SJordan Gordeev #endif
116da673940SJordan Gordeev #ifndef _MACHINE_PARAM_H_
117da673940SJordan Gordeev #include <machine/param.h>
118da673940SJordan Gordeev #endif
119da673940SJordan Gordeev 
120da673940SJordan Gordeev #ifdef _KERNEL
121da673940SJordan Gordeev 
122da673940SJordan Gordeev /*
123da673940SJordan Gordeev  * XXX
124da673940SJordan Gordeev  */
125da673940SJordan Gordeev #define	vtophys(va)	pmap_kextract(((vm_offset_t)(va)))
126da673940SJordan Gordeev #define	vtophys_pte(va)	((pt_entry_t)pmap_kextract(((vm_offset_t)(va))))
127da673940SJordan Gordeev 
128da673940SJordan Gordeev #endif
129da673940SJordan Gordeev 
130da673940SJordan Gordeev #define	pte_load_clear(pte)	atomic_readandclear_long(pte)
131da673940SJordan Gordeev 
132da673940SJordan Gordeev /*
133da673940SJordan Gordeev  * Pmap stuff
134da673940SJordan Gordeev  */
135da673940SJordan Gordeev struct pv_entry;
136da673940SJordan Gordeev struct vm_page;
137da673940SJordan Gordeev struct vm_object;
138da673940SJordan Gordeev 
139c50e690bSMatthew Dillon struct pv_entry_rb_tree;
140c50e690bSMatthew Dillon RB_PROTOTYPE2(pv_entry_rb_tree, pv_entry, pv_entry,
141c50e690bSMatthew Dillon 	      pv_entry_compare, vm_offset_t);
142c50e690bSMatthew Dillon 
143da673940SJordan Gordeev struct md_page {
144da673940SJordan Gordeev 	int pv_list_count;
145da673940SJordan Gordeev 	TAILQ_HEAD(,pv_entry)	pv_list;
146da673940SJordan Gordeev };
147da673940SJordan Gordeev 
148921c891eSMatthew Dillon struct md_object {
149921c891eSMatthew Dillon };
150921c891eSMatthew Dillon 
151da673940SJordan Gordeev /*
152da673940SJordan Gordeev  * Each machine dependent implementation is expected to
153da673940SJordan Gordeev  * keep certain statistics.  They may do this anyway they
154da673940SJordan Gordeev  * so choose, but are expected to return the statistics
155da673940SJordan Gordeev  * in the following structure.
156da673940SJordan Gordeev  */
157da673940SJordan Gordeev struct pmap_statistics {
158da673940SJordan Gordeev 	long resident_count;    /* # of pages mapped (total) */
159da673940SJordan Gordeev 	long wired_count;       /* # of pages wired */
160da673940SJordan Gordeev };
161da673940SJordan Gordeev typedef struct pmap_statistics *pmap_statistics_t;
162da673940SJordan Gordeev 
163da673940SJordan Gordeev struct pmap {
164da673940SJordan Gordeev 	pml4_entry_t		*pm_pml4;	/* KVA of level 4 page table */
165da673940SJordan Gordeev 	struct vm_page		*pm_pdirm;	/* VM page for pg directory */
166da673940SJordan Gordeev 	vpte_t			pm_pdirpte;	/* pte mapping phys page */
167da673940SJordan Gordeev 	struct vm_object	*pm_pteobj;	/* Container for pte's */
168da673940SJordan Gordeev 	TAILQ_ENTRY(pmap)	pm_pmnode;	/* list of pmaps */
169c50e690bSMatthew Dillon 	RB_HEAD(pv_entry_rb_tree, pv_entry) pm_pvroot;
170da673940SJordan Gordeev 	int			pm_count;	/* reference count */
171cc694a4aSMatthew Dillon 	cpulock_t		pm_active_lock; /* interlock */
172da673940SJordan Gordeev 	cpumask_t		pm_active;	/* active on cpus */
173da673940SJordan Gordeev 	vm_pindex_t		pm_pdindex;	/* page dir page in obj */
174da673940SJordan Gordeev 	struct pmap_statistics	pm_stats;	/* pmap statistics */
175da673940SJordan Gordeev 	struct	vm_page		*pm_ptphint;	/* pmap ptp hint */
176da673940SJordan Gordeev 	int			pm_generation;	/* detect pvlist deletions */
177b12defdcSMatthew Dillon 	struct spinlock		pm_spin;
178da673940SJordan Gordeev };
179da673940SJordan Gordeev 
180534ee349SMatthew Dillon #define pmap_resident_count(pmap) ((pmap)->pm_stats.resident_count)
181534ee349SMatthew Dillon #define pmap_resident_tlnw_count(pmap) ((pmap)->pm_stats.resident_count - \
182534ee349SMatthew Dillon 					(pmap)->pm_stats.wired_count)
183da673940SJordan Gordeev 
184da673940SJordan Gordeev typedef struct pmap	*pmap_t;
185da673940SJordan Gordeev 
186da673940SJordan Gordeev #ifdef _KERNEL
187*c713db65SAaron LI extern struct pmap	*kernel_pmap;
188da673940SJordan Gordeev #endif
189da673940SJordan Gordeev 
190da673940SJordan Gordeev /*
191da673940SJordan Gordeev  * For each vm_page_t, there is a list of all currently valid virtual
192da673940SJordan Gordeev  * mappings of that page.  An entry is a pv_entry_t, the list is pv_table.
193da673940SJordan Gordeev  */
194da673940SJordan Gordeev typedef struct pv_entry {
195da673940SJordan Gordeev 	pmap_t		pv_pmap;	/* pmap where mapping lies */
196da673940SJordan Gordeev 	vm_offset_t	pv_va;		/* virtual address for mapping */
197da673940SJordan Gordeev 	TAILQ_ENTRY(pv_entry)	pv_list;
198c50e690bSMatthew Dillon 	RB_ENTRY(pv_entry)	pv_entry;
199da673940SJordan Gordeev 	struct vm_page	*pv_ptem;	/* VM page for pte */
200da673940SJordan Gordeev } *pv_entry_t;
201da673940SJordan Gordeev 
202da673940SJordan Gordeev #ifdef	_KERNEL
203da673940SJordan Gordeev 
204da673940SJordan Gordeev extern caddr_t	CADDR1;
205da673940SJordan Gordeev extern pt_entry_t *CMAP1;
206da673940SJordan Gordeev extern char *ptvmmap;		/* poor name! */
207da673940SJordan Gordeev extern vm_offset_t clean_sva;
208da673940SJordan Gordeev extern vm_offset_t clean_eva;
209da673940SJordan Gordeev 
210381fa6daSSascha Wildner #ifndef __VM_PAGE_T_DEFINED__
211381fa6daSSascha Wildner #define __VM_PAGE_T_DEFINED__
212c4d9bf46SFrançois Tigeot typedef struct vm_page *vm_page_t;
213381fa6daSSascha Wildner #endif
214381fa6daSSascha Wildner #ifndef __VM_MEMATTR_T_DEFINED__
215381fa6daSSascha Wildner #define __VM_MEMATTR_T_DEFINED__
216c4d9bf46SFrançois Tigeot typedef char vm_memattr_t;
217381fa6daSSascha Wildner #endif
218c4d9bf46SFrançois Tigeot 
219da673940SJordan Gordeev void	pmap_bootstrap(vm_paddr_t *, int64_t);
220da673940SJordan Gordeev void	*pmap_mapdev (vm_paddr_t, vm_size_t);
221c4d9bf46SFrançois Tigeot void	pmap_page_set_memattr(vm_page_t m, vm_memattr_t ma);
222da673940SJordan Gordeev void	pmap_unmapdev (vm_offset_t, vm_size_t);
223b12defdcSMatthew Dillon void	pmap_release(struct pmap *pmap);
224a86ce0cdSMatthew Dillon void	pmap_interlock_wait (struct vmspace *);
225a86ce0cdSMatthew Dillon 
226da673940SJordan Gordeev struct vm_page *pmap_use_pt (pmap_t, vm_offset_t);
227da673940SJordan Gordeev 
228a86ce0cdSMatthew Dillon static __inline int
229a86ce0cdSMatthew Dillon pmap_emulate_ad_bits(pmap_t pmap) {
230a86ce0cdSMatthew Dillon 	return 0;
231a86ce0cdSMatthew Dillon }
232a86ce0cdSMatthew Dillon 
233da673940SJordan Gordeev #endif /* _KERNEL */
234da673940SJordan Gordeev 
235da673940SJordan Gordeev #endif /* !LOCORE */
236da673940SJordan Gordeev 
237da673940SJordan Gordeev #endif /* !_MACHINE_PMAP_H_ */
238