xenfunc.c revision 1.12 1 /* $NetBSD: xenfunc.c,v 1.12 2011/08/13 12:09:38 cherry 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 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29 #include <sys/cdefs.h>
30 __KERNEL_RCSID(0, "$NetBSD: xenfunc.c,v 1.12 2011/08/13 12:09:38 cherry Exp $");
31
32 #include <sys/param.h>
33
34 #include <uvm/uvm_extern.h>
35
36 #include <machine/intr.h>
37 #include <machine/vmparam.h>
38 #include <machine/pmap.h>
39 #include <xen/xen.h>
40 #include <xen/hypervisor.h>
41 //#include <xen/evtchn.h>
42 #include <xen/xenpmap.h>
43 #include <machine/pte.h>
44
45 #ifdef XENDEBUG_LOW
46 #define __PRINTK(x) printk x
47 #else
48 #define __PRINTK(x)
49 #endif
50
51 void xen_set_ldt(vaddr_t, uint32_t);
52
53 void
54 invlpg(vaddr_t addr)
55 {
56 int s = splvm();
57 xpq_queue_lock();
58 xpq_queue_invlpg(addr);
59 xpq_queue_unlock();
60 splx(s);
61 }
62
63 void
64 lldt(u_short sel)
65 {
66 #ifndef __x86_64__
67 struct cpu_info *ci;
68
69 ci = curcpu();
70
71 if (ci->ci_curldt == sel)
72 return;
73 /* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
74 if (sel == GSEL(GLDT_SEL, SEL_KPL))
75 xen_set_ldt((vaddr_t)ldt, NLDT);
76 else
77 xen_set_ldt(ci->ci_gdt[IDXSELN(sel)].ld.ld_base,
78 ci->ci_gdt[IDXSELN(sel)].ld.ld_entries);
79 ci->ci_curldt = sel;
80 #endif
81 }
82
83 void
84 ltr(u_short sel)
85 {
86 panic("XXX ltr not supported\n");
87 }
88
89 void
90 lcr0(u_long val)
91 {
92 panic("XXX lcr0 not supported\n");
93 }
94
95 u_long
96 rcr0(void)
97 {
98 /* XXX: handle X86_CR0_TS ? */
99 return 0;
100 }
101
102 #ifndef __x86_64__
103 void
104 lcr3(vaddr_t val)
105 {
106 int s = splvm();
107 xpq_queue_lock();
108 xpq_queue_pt_switch(xpmap_ptom_masked(val));
109 xpq_queue_unlock();
110 splx(s);
111 }
112 #endif
113
114 void
115 tlbflush(void)
116 {
117 int s = splvm();
118 xpq_queue_lock();
119 xpq_queue_tlb_flush();
120 xpq_queue_unlock();
121 splx(s);
122 }
123
124 void
125 tlbflushg(void)
126 {
127 tlbflush();
128 }
129
130 vaddr_t
131 rdr6(void)
132 {
133 u_int val;
134
135 val = HYPERVISOR_get_debugreg(6);
136 return val;
137 }
138
139 void
140 ldr6(vaddr_t val)
141 {
142
143 HYPERVISOR_set_debugreg(6, val);
144 }
145
146 void
147 wbinvd(void)
148 {
149
150 xpq_flush_cache();
151 }
152
153 vaddr_t
154 rcr2(void)
155 {
156 return curcpu()->ci_vcpu->arch.cr2;
157 }
158