Fix the way we set up vmcs
authorRon Minnich <rminnich@gmail.com>
Thu, 26 Mar 2015 20:33:04 +0000 (13:33 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:07:00 +0000 (15:07 -0400)
commit6ece617496dbbe06092caea6089a603ee82c3ef6
tree59706b402a939eae259c98965aa14e7360c84ef0
parent23691628b8ed6c9de6454c5503ad31410042cdb8
Fix the way we set up vmcs

The Dune code we started with, which started with KVM code, has always been hard to parse.
Clean it up and make sure we know each and every bit we claim to set or clear

Signed-off-by: Ron Minnich <rminnich@gmail.com>
Amended-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/msr-index.h
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/intel/vmx.h