Fair enough (though, for patch 2, it's a bit weird to have vmxoff in virtext.h and not vmxon). I don't really disagree, but vmxoff is already in virtext.h for the emergency reboot stuff. This series only touches the vmxon code.
Fair enough (though, for patch 2, it's a bit weird to have vmxoff in virtext.h and not vmxon).