Re: [Xen-devel] [PATCH] x86: log XPTI enabled status

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 01/02/18 13:42, Andrew Cooper wrote:
> On 01/02/18 13:18, Jan Beulich wrote:
>
>>>> --- a/xen/include/public/arch-x86/cpufeatureset.h
>>>> +++ b/xen/include/public/arch-x86/cpufeatureset.h
>>>> @@ -244,6 +244,7 @@ XEN_CPUFEATURE(AVX512_4VNNIW, 9*32+ 2) /
>>>>  XEN_CPUFEATURE(AVX512_4FMAPS, 9*32+ 3) /*A  AVX512 Multiply Accumulation 
>>>> Single Precision */
>>>>  XEN_CPUFEATURE(IBRSB,         9*32+26) /*A  IBRS and IBPB support (used 
>>>> by Intel) */
>>>>  XEN_CPUFEATURE(STIBP,         9*32+27) /*A! STIBP */
>>>> +XEN_CPUFEATURE(ARCH_CAPS,     9*32+29) /*   IA32_ARCH_CAPABILITIES MSR */
>>> This doesn't appear to be used?
>> See the conditional around rdmsrl(MSR_ARCH_CAPABILITIES, caps).
> Ah, in which case you should introduce the CPUID bit for this MSR.  It
> is next to STIBP and architecturally specified.

I'm clearly being very dim.  Sorry for the noise.  I'd confused the
context with the synthetic range.

~Andrew

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel