Lines Matching full:xen

4  * Xen event and interrupt services for x86 HVM guests.
55 #include <xen/xen-os.h>
56 #include <xen/hypervisor.h>
57 #include <xen/xen_intr.h>
58 #include <xen/evtchn/evtchnvar.h>
60 #include <machine/xen/arch-intr.h>
120  * Retrieve a handle for a Xen interrupt source.
122  * \param isrc  A valid Xen interrupt source structure.
125  *           to retrieve the original Xen interrupt source structure.
135  * Lookup a Xen interrupt source object given an interrupt binding handle.
140  * \returns  A pointer to the Xen interrupt source object associated
197  * Attempt to free an active Xen interrupt source object.
233  * Associate an interrupt handler with an already allocated local Xen
236  * \param isrcp       The returned Xen interrupt object associated with
318  * \param pcpu  The Xen interrupt pcpu data for the cpu being queried.
319  * \param sh    The Xen shared info area.
342  * Interrupt handler for processing all Xen event channel events.
474 	    "is_valid_evtchn(0) fails (unused by Xen, but valid by interface");  in xen_intr_init()
486 	mtx_init(&xen_intr_isrc_lock, "xen-irq-lock", NULL, MTX_DEF);  in xen_intr_init()
504 		printf("Xen interrupt system initialized\n");  in xen_intr_init()
524 		panic("unable to rebind xen IPI: %d", error);  in xen_rebind_ipi()
544 		panic("unable to rebind xen VIRQ#%u: %d", isrc->xi_virq, error);  in xen_rebind_virq()
576 		panic("%s(): unable to rebind Xen channel %u to vCPU%u: %d",  in xen_intr_rebind_isrc()
635  * Disable a Xen interrupt source.
761 /*------- API comments for these methods can be found in xen/xenintr.h -------*/
1136 		db_printf("Only available on Xen guests\n");  in DB_SHOW_COMMAND()