Home | History | Annotate | Line # | Download | only in x86
xenfunc.c revision 1.2.12.1
      1  1.2.12.1  bouyer /*	$NetBSD: xenfunc.c,v 1.2.12.1 2008/01/09 19:25:08 bouyer Exp $	*/
      2       1.2  bouyer 
      3       1.2  bouyer /*
      4       1.2  bouyer  *
      5       1.2  bouyer  * Copyright (c) 2004 Christian Limpach.
      6       1.2  bouyer  * All rights reserved.
      7       1.2  bouyer  *
      8       1.2  bouyer  * Redistribution and use in source and binary forms, with or without
      9       1.2  bouyer  * modification, are permitted provided that the following conditions
     10       1.2  bouyer  * are met:
     11       1.2  bouyer  * 1. Redistributions of source code must retain the above copyright
     12       1.2  bouyer  *    notice, this list of conditions and the following disclaimer.
     13       1.2  bouyer  * 2. Redistributions in binary form must reproduce the above copyright
     14       1.2  bouyer  *    notice, this list of conditions and the following disclaimer in the
     15       1.2  bouyer  *    documentation and/or other materials provided with the distribution.
     16       1.2  bouyer  * 3. All advertising materials mentioning features or use of this software
     17       1.2  bouyer  *    must display the following acknowledgement:
     18       1.2  bouyer  *      This product includes software developed by Christian Limpach.
     19       1.2  bouyer  * 4. The name of the author may not be used to endorse or promote products
     20       1.2  bouyer  *    derived from this software without specific prior written permission.
     21       1.2  bouyer  *
     22       1.2  bouyer  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23       1.2  bouyer  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24       1.2  bouyer  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25       1.2  bouyer  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26       1.2  bouyer  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27       1.2  bouyer  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28       1.2  bouyer  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29       1.2  bouyer  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30       1.2  bouyer  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31       1.2  bouyer  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32       1.2  bouyer  */
     33       1.2  bouyer 
     34       1.2  bouyer #include <sys/param.h>
     35       1.2  bouyer 
     36       1.2  bouyer #include <uvm/uvm_extern.h>
     37       1.2  bouyer 
     38       1.2  bouyer #include <machine/intr.h>
     39       1.2  bouyer #include <machine/vmparam.h>
     40       1.2  bouyer #include <machine/pmap.h>
     41       1.2  bouyer #include <xen/xen.h>
     42       1.2  bouyer #include <xen/hypervisor.h>
     43       1.2  bouyer //#include <xen/evtchn.h>
     44       1.2  bouyer #include <xen/xenpmap.h>
     45       1.2  bouyer #include <machine/pte.h>
     46       1.2  bouyer 
     47       1.2  bouyer #ifdef XENDEBUG_LOW
     48       1.2  bouyer #define	__PRINTK(x) printk x
     49       1.2  bouyer #else
     50       1.2  bouyer #define	__PRINTK(x)
     51       1.2  bouyer #endif
     52       1.2  bouyer 
     53       1.2  bouyer void xen_set_ldt(vaddr_t, uint32_t);
     54       1.2  bouyer 
     55       1.2  bouyer void
     56       1.2  bouyer invlpg(vaddr_t addr)
     57       1.2  bouyer {
     58       1.2  bouyer 	int s = splvm();
     59       1.2  bouyer 	xpq_queue_invlpg(addr);
     60       1.2  bouyer 	xpq_flush_queue();
     61       1.2  bouyer 	splx(s);
     62       1.2  bouyer }
     63       1.2  bouyer 
     64       1.2  bouyer #ifndef __x86_64__
     65       1.2  bouyer void
     66       1.2  bouyer lldt(u_short sel)
     67       1.2  bouyer {
     68       1.2  bouyer 
     69       1.2  bouyer 	/* __PRINTK(("ldt %x\n", IDXSELN(sel))); */
     70       1.2  bouyer 	if (sel == GSEL(GLDT_SEL, SEL_KPL))
     71       1.2  bouyer 		xen_set_ldt((vaddr_t)ldt, NLDT);
     72       1.2  bouyer 	else
     73       1.2  bouyer 		xen_set_ldt(cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_base,
     74       1.2  bouyer 		    cpu_info_primary.ci_gdt[IDXSELN(sel)].ld.ld_entries);
     75       1.2  bouyer }
     76       1.2  bouyer #endif
     77       1.2  bouyer 
     78       1.2  bouyer void
     79       1.2  bouyer ltr(u_short sel)
     80       1.2  bouyer {
     81       1.2  bouyer 	__PRINTK(("XXX ltr not supported\n"));
     82       1.2  bouyer }
     83       1.2  bouyer 
     84       1.2  bouyer void
     85       1.2  bouyer lcr0(u_int val)
     86       1.2  bouyer {
     87       1.2  bouyer 	__PRINTK(("XXX lcr0 not supported\n"));
     88       1.2  bouyer }
     89       1.2  bouyer 
     90       1.2  bouyer u_int
     91       1.2  bouyer rcr0(void)
     92       1.2  bouyer {
     93       1.2  bouyer 	__PRINTK(("XXX rcr0 not supported\n"));
     94       1.2  bouyer 	return 0;
     95       1.2  bouyer }
     96       1.2  bouyer 
     97       1.2  bouyer #ifndef __x86_64__
     98       1.2  bouyer void
     99       1.2  bouyer lcr3(vaddr_t val)
    100       1.2  bouyer {
    101       1.2  bouyer 	int s = splvm();
    102       1.2  bouyer 	xpq_queue_pt_switch(xpmap_ptom_masked(val));
    103       1.2  bouyer 	xpq_flush_queue();
    104       1.2  bouyer 	splx(s);
    105       1.2  bouyer }
    106       1.2  bouyer #endif
    107       1.2  bouyer 
    108       1.2  bouyer void
    109       1.2  bouyer tlbflush(void)
    110       1.2  bouyer {
    111       1.2  bouyer 	int s = splvm();
    112       1.2  bouyer 	xpq_queue_tlb_flush();
    113       1.2  bouyer 	xpq_flush_queue();
    114       1.2  bouyer 	splx(s);
    115       1.2  bouyer }
    116       1.2  bouyer 
    117       1.2  bouyer void
    118       1.2  bouyer tlbflushg(void)
    119       1.2  bouyer {
    120       1.2  bouyer 	tlbflush();
    121       1.2  bouyer }
    122       1.2  bouyer 
    123       1.2  bouyer vaddr_t
    124       1.2  bouyer rdr6(void)
    125       1.2  bouyer {
    126       1.2  bouyer 	u_int val;
    127       1.2  bouyer 
    128       1.2  bouyer 	val = HYPERVISOR_get_debugreg(6);
    129       1.2  bouyer 	return val;
    130       1.2  bouyer }
    131       1.2  bouyer 
    132       1.2  bouyer void
    133       1.2  bouyer ldr6(vaddr_t val)
    134       1.2  bouyer {
    135       1.2  bouyer 
    136       1.2  bouyer 	HYPERVISOR_set_debugreg(6, val);
    137       1.2  bouyer }
    138       1.2  bouyer 
    139       1.2  bouyer void
    140       1.2  bouyer wbinvd(void)
    141       1.2  bouyer {
    142       1.2  bouyer 
    143       1.2  bouyer 	xpq_flush_cache();
    144       1.2  bouyer }
    145       1.2  bouyer 
    146       1.2  bouyer vaddr_t
    147       1.2  bouyer rcr2(void)
    148       1.2  bouyer {
    149       1.2  bouyer #ifdef XEN3
    150       1.2  bouyer 	return HYPERVISOR_shared_info->vcpu_info[0].arch.cr2; /* XXX curcpu */
    151       1.2  bouyer #else
    152       1.2  bouyer 	return 0;
    153       1.2  bouyer #endif
    154       1.2  bouyer }
    155