1 /* $NetBSD: xenfunc.c,v 1.8 2009/07/29 12:02:08 cegger Exp $ */
5 * Copyright (c) 2004 Christian Limpach.
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
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.
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.
29 #include <sys/cdefs.h>
30 __KERNEL_RCSID(0, "$NetBSD: xenfunc.c,v 1.8 2009/07/29 12:02:08 cegger Exp $");
32 #include <sys/param.h>
34 #include <uvm/uvm_extern.h>
36 #include <machine/intr.h>
37 #include <machine/vmparam.h>
38 #include <machine/pmap.h>
40 #include <xen/hypervisor.h>
41 //#include <xen/evtchn.h>
42 #include <xen/xenpmap.h>
43 #include <machine/pte.h>
46 #define __PRINTK(x) printk x
51 void xen_set_ldt(vaddr_t
, uint32_t);
57 xpq_queue_invlpg(addr
);
70 if (ci
->ci_curldt
== sel
)
72 /* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
73 if (sel
== GSEL(GLDT_SEL
, SEL_KPL
))
74 xen_set_ldt((vaddr_t
)ldt
, NLDT
);
76 xen_set_ldt(ci
->ci_gdt
[IDXSELN(sel
)].ld
.ld_base
,
77 ci
->ci_gdt
[IDXSELN(sel
)].ld
.ld_entries
);
85 __PRINTK(("XXX ltr not supported\n"));
91 __PRINTK(("XXX lcr0 not supported\n"));
97 __PRINTK(("XXX rcr0 not supported\n"));
106 xpq_queue_pt_switch(xpmap_ptom_masked(val
));
116 xpq_queue_tlb_flush();
132 val
= HYPERVISOR_get_debugreg(6);
140 HYPERVISOR_set_debugreg(6, val
);
153 return curcpu()->ci_vcpu
->arch
.cr2
;