Lines Matching full:xen
46 #include <xen/xen-os.h>
47 #include <xen/xen_intr.h>
48 #include <machine/xen/arch-intr.h>
52 /************************ Xen x86 interrupt interface ************************/
70 snprintf(buf, sizeof(buf), "cpu%d:xen", i); in xen_intrcnt_init()
111 static MALLOC_DEFINE(M_XENINTR, "xen_intr", "Xen Interrupt Services");
196 * a Xen interrupt source.
300 mtx_init(&xen_intr_x86_lock, "xen-x86-table-lock", NULL, MTX_DEF); in xen_arch_intr_init()
304 panic("%s(): failed registering Xen/x86 PIC, error=%d\n", in xen_arch_intr_init()
309 * Allocate a Xen interrupt source object.
313 * \return A pointer to a newly allocated Xen interrupt source
331 ("interrupt not owned by Xen code?")); in xen_arch_intr_alloc()
342 printf("%s: Xen interrupts exhausted.\n", __func__); in xen_arch_intr_alloc()