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