Roger Pau Monné 23ca39cf61 xen: mask event channels while binding them to a vCPU ... Mask the event channel source before trying to bind it to a CPU, this prevents stray interrupts from firing while assigning them and hitting the KASSERT in xen_intr_handle_upcall. Sponsored by: Citrix Systems R&D		2014-12-10 11:42:02 +00:00
..
hvm.c	xen: implement the privcmd user-space device	2014-10-22 17:07:20 +00:00
pv.c	xen: fix usage of kern_getenv in PVH code	2014-10-22 16:49:00 +00:00
pvcpu_enum.c	xen: notify ACPI about SCI override	2014-12-09 11:12:24 +00:00
xen_apic.c	Fix build with SMP disabled.	2014-07-15 15:40:33 +00:00
xen_intr.c	xen: mask event channels while binding them to a vCPU	2014-12-10 11:42:02 +00:00
xen_msi.c	msi: add Xen MSI implementation	2014-09-30 16:46:45 +00:00
xen_nexus.c	msi: add Xen MSI implementation	2014-09-30 16:46:45 +00:00
xen_pci_bus.c	xen: create a new PCI bus override	2014-12-09 18:03:25 +00:00
xenpv.c	xen: convert the Grant-table code to a NewBus device	2014-12-10 11:35:41 +00:00