On 16/04/19 00:21, nadav.amit@xxxxxxxxx wrote:
> From: Nadav Amit <nadav.amit@xxxxxxxxx>
>
> According to the SDM, IA32_VMX_VMCS_ENUM indicates to software the
> highest index value used in the encoding of any field supported by the
> processor: Bits 9:1 contain the highest index value used for any VMCS
> encoding.
>
> Signed-off-by: Nadav Amit <nadav.amit@xxxxxxxxx>
> ---
> x86/vmx.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/x86/vmx.c b/x86/vmx.c
> index 6ba56bc..f713ada 100644
> --- a/x86/vmx.c
> +++ b/x86/vmx.c
> @@ -1470,7 +1470,7 @@ static void test_vmx_caps(void)
>
> val = rdmsr(MSR_IA32_VMX_VMCS_ENUM);
> report("MSR_IA32_VMX_VMCS_ENUM",
> - (val & 0x3e) >= 0x2a &&
> + (val & 0x1fe) >= 0x2a &&
> (val & 0xfffffffffffffc01Ull) == 0);
>
> val = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP);
>
Queued, thanks.
Paolo
