|
@@ -1992,6 +1992,11 @@ void kvm_lapic_reset(struct kvm_vcpu *vcpu, bool init_event)
|
|
|
vcpu->arch.apic_base | MSR_IA32_APICBASE_BSP);
|
|
|
vcpu->arch.pv_eoi.msr_val = 0;
|
|
|
apic_update_ppr(apic);
|
|
|
+ if (vcpu->arch.apicv_active) {
|
|
|
+ kvm_x86_ops->apicv_post_state_restore(vcpu);
|
|
|
+ kvm_x86_ops->hwapic_irr_update(vcpu, -1);
|
|
|
+ kvm_x86_ops->hwapic_isr_update(vcpu, -1);
|
|
|
+ }
|
|
|
|
|
|
vcpu->arch.apic_arb_prio = 0;
|
|
|
vcpu->arch.apic_attention = 0;
|