John Baldwin 8b28761278 Some tweaks to the CPUID support: ... - Don't always pass the cpuid request to the current CPU as some nodes we will emulate purely in software. - Pass in the APIC ID of the virtual CPU so we can return the proper APIC ID. - Always report a completely flat topology with no SMT or multicore. - Report the CPUID2_HV feature and implement support for the 0x40000000 CPUID level. - Use existing constants from <machine/specialreg.h> when possible and use cpu_feature2 when checking for VMX support.		2011-06-02 14:04:07 +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	Add a 'show vmcs' DDB command to dump state about the current CPU's	2011-06-02 13:49:19 +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	Some tweaks to the CPUID support:	2011-06-02 14:04:07 +00:00
vmx.h	Fix a long standing bug in VMXCTX_GUEST_RESTORE().	2011-05-20 03:23:09 +00:00
vtd.c