Tycho Nightingale 9e33a61693 Recognize a pending virtual interrupt while emulating the halt instruction. ... Reviewed by: grehan, rgrimes Sponsored by: Dell EMC Isilon Differential Revision: https://reviews.freebsd.org/D13573		2017-12-21 18:30:11 +00:00
..
amd	amd-vi: set iommu msi configuration using pci_enable_msi method	2017-12-04 17:10:52 +00:00
intel	Recognize a pending virtual interrupt while emulating the halt instruction.	2017-12-21 18:30:11 +00:00
io	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_dev.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_host.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_host.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_instruction_emul.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_ioport.c	Don't require <sys/cpuset.h> to be always included before <machine/vmm.h>.	2015-04-30 22:23:22 +00:00
vmm_ioport.h	Change the type of the first argument to the I/O emulation handlers to	2014-10-26 19:03:06 +00:00
vmm_ktr.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_lapic.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_lapic.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_mem.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_mem.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_stat.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_stat.h	sys: further adoption of SPDX licensing ID tags.	2017-11-20 19:43:44 +00:00
vmm_util.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm_util.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
vmm.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
x86.c	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00
x86.h	sys/amd64: further adoption of SPDX licensing ID tags.	2017-11-27 15:03:07 +00:00