FEATURE_CONTROL is already read with LOCK bit set (so is unmodifiable), and
all VMX MSRs are read-only. Also, fix the MSR_IA32_VMX_TRUE_ENTRY_CTLS bound
to be MSR_IA32_VMX_VMFUNC, rather than having the intervening MSRs falling
into the default case.
Raise #GP faults if the guest tries to modify
>>> Andrew Cooper 06/28/17 4:17 PM >>>
>FEATURE_CONTROL is already read with LOCK bit set (so is unmodifiable), and
>all VMX MSRs are read-only. Also, fix the MSR_IA32_VMX_TRUE_ENTRY_CTLS bound
>to be MSR_IA32_VMX_VMFUNC, rather than having the intervening MSRs falling
>into the default case.
>
>
> From: Andrew Cooper [mailto:andrew.coop...@citrix.com]
> Sent: Wednesday, June 28, 2017 10:16 PM
>
> FEATURE_CONTROL is already read with LOCK bit set (so is unmodifiable),
> and
> all VMX MSRs are read-only. Also, fix the
> MSR_IA32_VMX_TRUE_ENTRY_CTLS bound
> to be MSR_IA32_VMX_VMFUNC, rather