On 24/05/2023 12:25 pm, Andrew Cooper wrote: > diff --git a/xen/arch/x86/cpu/common.c b/xen/arch/x86/cpu/common.c > index 9bbb385db42d..f1084bb1ed36 100644 > --- a/xen/arch/x86/cpu/common.c > +++ b/xen/arch/x86/cpu/common.c > @@ -477,6 +477,11 @@ static void generic_identify(struct cpuinfo_x86 *c) > cpuid_count(0xd, 1, > &c->x86_capability[FEATURESET_Da1], > &tmp, &tmp, &tmp); > + > + if (test_bit(X86_FEATURE_ARCH_CAPS, c->x86_capability)) > + rdmsr(MSR_ARCH_CAPABILITIES, > + c->x86_capability[FEATURESET_10Al], > + c->x86_capability[FEATURESET_10Ah]);
I managed to send out a stale version. I've corrected this and the other instances locally. ~Andrew