Home | History | Annotate | Line # | Download | only in x86
xenfunc.c revision 1.2.4.2
      1 /*	$NetBSD: xenfunc.c,v 1.2.4.2 2007/12/03 19:04:46 ad 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 #include <sys/param.h>
     35 
     36 #include <uvm/uvm_extern.h>
     37 
     38 #include <machine/intr.h>
     39 #include <machine/vmparam.h>
     40 #include <machine/pmap.h>
     41 #include <xen/xen.h>
     42 #include <xen/hypervisor.h>
     43 //#include <xen/evtchn.h>
     44 #include <xen/xenpmap.h>
     45 #include <machine/pte.h>
     46 
     47 #ifdef XENDEBUG_LOW
     48 #define	__PRINTK(x) printk x
     49 #else
     50 #define	__PRINTK(x)
     51 #endif
     52 
     53 void xen_set_ldt(vaddr_t, uint32_t);
     54 void xen_update_descriptor(union descriptor *, union descriptor *);
     55 
     56 void
     57 invlpg(vaddr_t addr)
     58 {
     59 	int s = splvm();
     60 	xpq_queue_invlpg(addr);
     61 	xpq_flush_queue();
     62 	splx(s);
     63 }
     64 
     65 #ifndef __x86_64__
     66 void
     67 lldt(u_short sel)
     68 {
     69 
     70 	/* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
     71 	if (sel == GSEL(GLDT_SEL, SEL_KPL))
     72 		xen_set_ldt((vaddr_t)ldt, NLDT);
     73 	else
     74 		xen_set_ldt(cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_base,
     75 		    cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_entries);
     76 }
     77 #endif
     78 
     79 void
     80 ltr(u_short sel)
     81 {
     82 	__PRINTK(("XXX ltr not supported\n"));
     83 }
     84 
     85 void
     86 lcr0(u_int val)
     87 {
     88 	__PRINTK(("XXX lcr0 not supported\n"));
     89 }
     90 
     91 u_int
     92 rcr0(void)
     93 {
     94 	__PRINTK(("XXX rcr0 not supported\n"));
     95 	return 0;
     96 }
     97 
     98 #ifndef __x86_64__
     99 void
    100 lcr3(vaddr_t val)
    101 {
    102 	int s = splvm();
    103 	xpq_queue_pt_switch(xpmap_ptom_masked(val));
    104 	xpq_flush_queue();
    105 	splx(s);
    106 }
    107 #endif
    108 
    109 void
    110 tlbflush(void)
    111 {
    112 	int s = splvm();
    113 	xpq_queue_tlb_flush();
    114 	xpq_flush_queue();
    115 	splx(s);
    116 }
    117 
    118 void
    119 tlbflushg(void)
    120 {
    121 	tlbflush();
    122 }
    123 
    124 vaddr_t
    125 rdr6(void)
    126 {
    127 	u_int val;
    128 
    129 	val = HYPERVISOR_get_debugreg(6);
    130 	return val;
    131 }
    132 
    133 void
    134 ldr6(vaddr_t val)
    135 {
    136 
    137 	HYPERVISOR_set_debugreg(6, val);
    138 }
    139 
    140 void
    141 wbinvd(void)
    142 {
    143 
    144 	xpq_flush_cache();
    145 }
    146 
    147 vaddr_t
    148 rcr2(void)
    149 {
    150 #ifdef XEN3
    151 	return HYPERVISOR_shared_info->vcpu_info[0].arch.cr2; /* XXX curcpu */
    152 #else
    153 	return 0;
    154 #endif
    155 }
    156 /*	$NetBSD: xenfunc.c,v 1.2.4.2 2007/12/03 19:04:46 ad Exp $	*/
    157 
    158 /*
    159  *
    160  * Copyright (c) 2004 Christian Limpach.
    161  * All rights reserved.
    162  *
    163  * Redistribution and use in source and binary forms, with or without
    164  * modification, are permitted provided that the following conditions
    165  * are met:
    166  * 1. Redistributions of source code must retain the above copyright
    167  *    notice, this list of conditions and the following disclaimer.
    168  * 2. Redistributions in binary form must reproduce the above copyright
    169  *    notice, this list of conditions and the following disclaimer in the
    170  *    documentation and/or other materials provided with the distribution.
    171  * 3. All advertising materials mentioning features or use of this software
    172  *    must display the following acknowledgement:
    173  *      This product includes software developed by Christian Limpach.
    174  * 4. The name of the author may not be used to endorse or promote products
    175  *    derived from this software without specific prior written permission.
    176  *
    177  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
    178  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
    179  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
    180  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
    181  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
    182  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
    183  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
    184  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
    185  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
    186  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
    187  */
    188 
    189 #include <sys/param.h>
    190 
    191 #include <uvm/uvm_extern.h>
    192 
    193 #include <machine/intr.h>
    194 #include <machine/vmparam.h>
    195 #include <machine/pmap.h>
    196 #include <xen/xen.h>
    197 #include <xen/hypervisor.h>
    198 //#include <xen/evtchn.h>
    199 #include <xen/xenpmap.h>
    200 #include <machine/pte.h>
    201 
    202 #ifdef XENDEBUG_LOW
    203 #define	__PRINTK(x) printk x
    204 #else
    205 #define	__PRINTK(x)
    206 #endif
    207 
    208 void xen_set_ldt(vaddr_t, uint32_t);
    209 void xen_update_descriptor(union descriptor *, union descriptor *);
    210 
    211 void
    212 invlpg(vaddr_t addr)
    213 {
    214 	int s = splvm();
    215 	xpq_queue_invlpg(addr);
    216 	xpq_flush_queue();
    217 	splx(s);
    218 }
    219 
    220 #ifndef __x86_64__
    221 void
    222 lldt(u_short sel)
    223 {
    224 
    225 	/* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
    226 	if (sel == GSEL(GLDT_SEL, SEL_KPL))
    227 		xen_set_ldt((vaddr_t)ldt, NLDT);
    228 	else
    229 		xen_set_ldt(cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_base,
    230 		    cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_entries);
    231 }
    232 #endif
    233 
    234 void
    235 ltr(u_short sel)
    236 {
    237 	__PRINTK(("XXX ltr not supported\n"));
    238 }
    239 
    240 void
    241 lcr0(u_int val)
    242 {
    243 	__PRINTK(("XXX lcr0 not supported\n"));
    244 }
    245 
    246 u_int
    247 rcr0(void)
    248 {
    249 	__PRINTK(("XXX rcr0 not supported\n"));
    250 	return 0;
    251 }
    252 
    253 #ifndef __x86_64__
    254 void
    255 lcr3(vaddr_t val)
    256 {
    257 	int s = splvm();
    258 	xpq_queue_pt_switch(xpmap_ptom_masked(val));
    259 	xpq_flush_queue();
    260 	splx(s);
    261 }
    262 #endif
    263 
    264 void
    265 tlbflush(void)
    266 {
    267 	int s = splvm();
    268 	xpq_queue_tlb_flush();
    269 	xpq_flush_queue();
    270 	splx(s);
    271 }
    272 
    273 void
    274 tlbflushg(void)
    275 {
    276 	tlbflush();
    277 }
    278 
    279 vaddr_t
    280 rdr6(void)
    281 {
    282 	u_int val;
    283 
    284 	val = HYPERVISOR_get_debugreg(6);
    285 	return val;
    286 }
    287 
    288 void
    289 ldr6(vaddr_t val)
    290 {
    291 
    292 	HYPERVISOR_set_debugreg(6, val);
    293 }
    294 
    295 void
    296 wbinvd(void)
    297 {
    298 
    299 	xpq_flush_cache();
    300 }
    301 
    302 vaddr_t
    303 rcr2(void)
    304 {
    305 #ifdef XEN3
    306 	return HYPERVISOR_shared_info->vcpu_info[0].arch.cr2; /* XXX curcpu */
    307 #else
    308 	return 0;
    309 #endif
    310 }
    311