On 19/01/18 10:52, Jan Beulich wrote: >>>> On 18.01.18 at 16:46, <[email protected]> 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 <[email protected]>
Indeed. Sorry. (I'm going to grep across the codebase for any other mistakes before committing, because I doubt this is the only example). ~Andrew _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
