I actually like the idea of storing the expected value in kvm_vcpu and theI'm not necessarily opposed to aggressively shadowing the VMCS, but if we go
current value in loaded_vmcs. We might use it for other things such as
reload_vmcs01_apic_access_page perhaps.
that route then it should be a standalone series that implements a framework
that can be easily extended to arbitrary fields. Adding fields to loaded_vmcs
one at a time will be tedious and error prone. E.g. what makes TSC_MULTIPLIER
more special than TSC_OFFSET, GUEST_IA32_PAT, GUEST_IA32_DEBUGCTL, GUEST_BNDCFGS,
and other number of fields that are likely to persist for a given vmcs02?