>>> On 18.01.18 at 16:46, <andrew.coop...@citrix.com> wrote: > @@ -292,6 +301,16 @@ static int update_domain_cpuid_info(struct domain *d, > d->arch.pv_domain.cpuidmasks->e1cd = mask; > } > break; > + > + case 0x80000008: > + /* > + * If the IBRB policy has changed, we need to recalculate the MSR
"IBPB" I think? Other than that Reviewed-by: Jan Beulich <jbeul...@suse.com> Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel