Neel Natu 4bff7fad95 Verify that VMX operation has been enabled by BIOS before executing the ... VMXON instruction. Reported by "s vas" on freebsd-virtualization@		2012-07-25 00:21:16 +00:00
..
ept.c
ept.h
vmcs.c	Add a 'show vmcs' DDB command to dump state about the current CPU's	2011-06-02 13:49:19 +00:00
vmcs.h	MSI-x interrupt support for PCI pass-thru devices.	2012-04-28 16:28:00 +00:00
vmx_controls.h
vmx_cpufunc.h
vmx_genassym.c	Fix a long standing bug in VMXCTX_GUEST_RESTORE().	2011-05-20 03:23:09 +00:00
vmx_msr.c
vmx_msr.h
vmx_support.S	Fix a long standing bug in VMXCTX_GUEST_RESTORE().	2011-05-20 03:23:09 +00:00
vmx.c	Verify that VMX operation has been enabled by BIOS before executing the	2012-07-25 00:21:16 +00:00
vmx.h	Fix a long standing bug in VMXCTX_GUEST_RESTORE().	2011-05-20 03:23:09 +00:00
vtd.c