neel 771dc2cc82 Add x86 specific APIs 'lapic_ipi_alloc()' and 'lapic_ipi_free()' to allow IPI ... vectors to be dynamically allocated. This allows kernel modules like vmm.ko to allocate unique IPI slots when loaded (as opposed to hard allocating one or more vectors). Also, reorganize the fixed IPI vectors to create a contiguous space for dynamic IPI allocation. Reviewed by: kib, jhb Differential Revision: https://reviews.freebsd.org/D2042		2015-03-14 00:30:41 +00:00
..
hvm.c	xen: implement the privcmd user-space device	2014-10-22 17:07:20 +00:00
pv.c	loader: fix the size of MODINFOMD_MODULEP	2015-01-20 12:28:24 +00:00
pvcpu_enum.c	xen/intr: improve handling of legacy IRQs	2015-02-16 16:37:59 +00:00
xen_apic.c	Add x86 specific APIs 'lapic_ipi_alloc()' and 'lapic_ipi_free()' to allow IPI	2015-03-14 00:30:41 +00:00
xen_intr.c	xen/intr: fix fallout from r278854	2015-02-26 16:05:09 +00:00
xen_msi.c	msi: add Xen MSI implementation	2014-09-30 16:46:45 +00:00
xen_nexus.c	Fix warning about possible use of uninitialized variable.	2015-01-02 08:42:44 +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