xenfunc.h revision 1.1 1 /* $NetBSD: xenfunc.h,v 1.1 2004/03/11 21:44:08 cl Exp $ */
2
3 /*
4 *
5 * Copyright (c) 2004 Christian Limpach.
6 * All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
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 the
15 * documentation and/or other materials provided with the distribution.
16 * 3. All advertising materials mentioning features or use of this software
17 * must display the following acknowledgement:
18 * This product includes software developed by Christian Limpach.
19 * 4. The name of the author may not be used to endorse or promote products
20 * derived from this software without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
23 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
25 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
27 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
28 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
29 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
30 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
31 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32 */
33
34
35 #ifndef _XEN_XENFUNC_H_
36 #define _XEN_XENFUNC_H_
37
38 #include <machine/xen.h>
39 #include <machine/hypervisor.h>
40 #include <machine/xenpmap.h>
41 #include <machine/pte.h>
42
43 #ifdef XENDEBUG_LOW
44 #define __PRINTK(x) printk x
45 #else
46 #define __PRINTK(x)
47 #endif
48
49 void xen_set_ldt(vaddr_t, uint32_t);
50 void xen_update_descriptor(union descriptor *, union descriptor *);
51
52 static __inline void
53 invlpg(u_int addr)
54 {
55 xpq_queue_invlpg(addr);
56 xpq_flush_queue();
57 }
58
59 static __inline void
60 lldt(u_short sel)
61 {
62
63 /* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
64 if (sel == GSEL(GLDT_SEL, SEL_KPL))
65 xen_set_ldt((vaddr_t)ldt, NLDT);
66 else
67 xen_set_ldt(cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_base,
68 cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_entries);
69 }
70
71 static __inline void
72 ltr(u_short sel)
73 {
74 __PRINTK(("XXX ltr not supported\n"));
75 }
76
77 static __inline void
78 lcr0(u_int val)
79 {
80 __PRINTK(("XXX lcr0 not supported\n"));
81 }
82
83 static __inline u_int
84 rcr0(void)
85 {
86 __PRINTK(("XXX rcr0 not supported\n"));
87 return 0;
88 }
89
90 #define lcr3(_v) _lcr3((_v), __FILE__, __LINE__)
91 static __inline void
92 _lcr3(u_int val, char *file, int line)
93 {
94 /* __PRINTK(("lcr3 %08x at %s:%d\n", val, file, line)); */
95 xpq_queue_pt_switch(xpmap_ptom(val) & PG_FRAME);
96 xpq_flush_queue();
97 }
98
99 static __inline void
100 tlbflush(void)
101 {
102 xpq_queue_tlb_flush();
103 xpq_flush_queue();
104 }
105
106 static __inline void
107 disable_intr(void)
108 {
109 __cli();
110 }
111
112 static __inline void
113 enable_intr(void)
114 {
115 __sti();
116 }
117
118 #endif /* _XEN_XENFUNC_H_ */
119