but I do like it so yes, that was it. Especially the fact that init_vmcb now
has a single caller. I would further consider moving save area initialization
to *_vcpu_reset, and keeping the control fields in init_vmcb/vmcs. That would
make it easier to relate the two functions to separate parts of the manuals.
I like the idea, but I think I'd prefer to tackle that at the same time as generic
support for handling MSRs at RESET/INIT.
E.g. instead of manually writing
vmcs.GUEST_SYSENTER_* at RESET, provide infrastruture to automagically run through
all emulated/virtualized at RESET and/or INIT as appropriate to initialize the
guest value.