> +     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.

Thanks,

Paolo

>       kvm_make_request(KVM_REQ_EVENT, vcpu);
>       vcpu->arch.apf.msr_val = 0;
>       vcpu->arch.st.msr_val = 0;
>  
>       kvmclock_reset(vcpu);
>  
>       kvm_clear_async_pf_completion_queue(vcpu);
>       kvm_async_pf_hash_reset(vcpu);
> --
> 2.10.2
> 
> 

Reply via email to