hammer2 - Merge Mihai Carabas's VKERNEL/VMM GSOC project into the main tree
[dragonfly.git] / sys / platform / vkernel64 / include / pmap_inval.h
1 /*
2  * Copyright (c) 2003,2004 The DragonFly Project.  All rights reserved.
3  *
4  * This code is derived from software contributed to The DragonFly Project
5  * by Matthew Dillon <dillon@backplane.com>
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  *
11  * 1. Redistributions of source code must retain the above copyright
12  *    notice, this list of conditions and the following disclaimer.
13  * 2. Redistributions in binary form must reproduce the above copyright
14  *    notice, this list of conditions and the following disclaimer in
15  *    the documentation and/or other materials provided with the
16  *    distribution.
17  * 3. Neither the name of The DragonFly Project nor the names of its
18  *    contributors may be used to endorse or promote products derived
19  *    from this software without specific, prior written permission.
20  *
21  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE
25  * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26  * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
27  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
29  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
30  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32  * SUCH DAMAGE.
33  *
34  * $DragonFly: src/sys/platform/vkernel/include/pmap_inval.h,v 1.3 2007/07/02 02:22:57 dillon Exp $
35  */
36
37 #ifndef _MACHINE_PMAP_INVAL_H_
38 #define _MACHINE_PMAP_INVAL_H_
39
40 #ifndef _SYS_THREAD_H_
41 #include <sys/thread.h>
42 #endif
43
44 typedef struct pmap_inval_info {
45     int                 pir_flags;
46     vm_offset_t         pir_va;
47     struct lwkt_cpusync pir_cpusync;
48 } pmap_inval_info;
49
50 typedef pmap_inval_info *pmap_inval_info_t;
51
52 #define PIRF_INVLTLB    0x0001  /* request invalidation of whole table */
53 #define PIRF_INVL1PG    0x0002  /* else request invalidation of one page */
54 #define PIRF_CPUSYNC    0x0004  /* cpusync is currently active */
55
56 #ifdef _KERNEL
57
58 #ifndef _MACHINE_PMAP_H_
59 #include <machine/pmap.h>
60 #endif
61
62 void pmap_inval_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
63 void pmap_inval_pte_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
64 void pmap_inval_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
65 void pmap_inval_pde_quick(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
66 vpte_t pmap_clean_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
67 vpte_t pmap_clean_pde(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
68 vpte_t pmap_setro_pte(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
69 vpte_t pmap_inval_loadandclear(volatile vpte_t *ptep, struct pmap *pmap, vm_offset_t va);
70
71 /* VMM used stuff */
72 void pmap_inval_init(pmap_inval_info_t);
73 void pmap_inval_interlock(pmap_inval_info_t, pmap_t, vm_offset_t);
74 void pmap_inval_invltlb(pmap_inval_info_t);
75 void pmap_inval_deinterlock(pmap_inval_info_t, pmap_t);
76 void pmap_inval_done(pmap_inval_info_t);
77 #endif
78
79 #endif