tree 59706b402a939eae259c98965aa14e7360c84ef0
parent 23691628b8ed6c9de6454c5503ad31410042cdb8
author Ron Minnich <rminnich@gmail.com> 1427401984 -0700
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433620 -0400

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>