On Tue, 1 Nov 2016, Paolo Bonzini wrote: > > > + vcpu->arch.cpuid_fault = false; > > This should be conditional on "if (!init_event)". Most MSRs are untouched > on an INIT IPI. > > Otherwise looks good. The patch is independent of the rest, so I would > prefer to take it through the KVM tree. >
It depends on the FEATURE_ENABLES MSR define, which is part of that series. Thanks tglx