x86: Fixes init for machines that do not have VMX
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 19 Mar 2015 21:13:35 +0000 (17:13 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 19 Mar 2015 21:13:35 +0000 (17:13 -0400)
commitcab562a8b6cea9f2aeecf38fa472b87c46dc229a
treec724ea097143ed1e2005757eb97a271df42d31fd
parentddc71c2bf0fd5beb10bebed14043a754fe43e2b8
x86: Fixes init for machines that do not have VMX

On machines (or at least qemu) that don't have VMX, we'd still try and
do the pcpu init, which attempts some VMX instructions.
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/vmm.c