1/* $NetBSD: xenfunc.c,v 1.13 2011/11/06 11:40:47 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.13 2011/11/06 11:40:47 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
51void xen_set_ldt(vaddr_t, uint32_t);
52
53void
54invlpg(vaddr_t addr)
55{
56 int s = splvm();
57 xpq_queue_invlpg(addr);
58 splx(s);
59}
60
61void
62lldt(u_short sel)
63{
64#ifndef __x86_64__
65 struct cpu_info *ci;
66
67 ci = curcpu();
68
69 if (ci->ci_curldt == sel)
70 return;
71 /* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
72 if (sel == GSEL(GLDT_SEL, SEL_KPL))
73 xen_set_ldt((vaddr_t)ldt, NLDT);
74 else
75 xen_set_ldt(ci->ci_gdt[IDXSELN(sel)].ld.ld_base,
76 ci->ci_gdt[IDXSELN(sel)].ld.ld_entries);
77 ci->ci_curldt = sel;
78#endif
79}
80
81void
82ltr(u_short sel)
83{
84 panic("XXX ltr not supported\n");
85}
86
87void
88lcr0(u_long val)
89{
90 panic("XXX lcr0 not supported\n");
91}
92
93u_long
94rcr0(void)
95{
96 /* XXX: handle X86_CR0_TS ? */
97 return 0;
98}
99
100#ifndef __x86_64__
101void
102lcr3(vaddr_t val)
103{
104 int s = splvm();
105 xpq_queue_pt_switch(xpmap_ptom_masked(val));
106 splx(s);
107}
108#endif
109
110void
111tlbflush(void)
112{
113 int s = splvm();
114 xpq_queue_tlb_flush();
115 splx(s);
116}
117
118void
119tlbflushg(void)
120{
121 tlbflush();
122}
123
124vaddr_t
125rdr6(void)
126{
127 u_int val;
128
129 val = HYPERVISOR_get_debugreg(6);
130 return val;
131}
132
133void
134ldr6(vaddr_t val)
135{
136
137 HYPERVISOR_set_debugreg(6, val);
138}
139
140void
141wbinvd(void)
142{
143
144 xpq_flush_cache();
145}
146
147vaddr_t
148rcr2(void)
149{
150 return curcpu()->ci_vcpu->arch.cr2;
151}
152