|
@@ -781,6 +781,9 @@ int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu)
|
|
if (!vcpu->kvm->arch.vgic.enabled)
|
|
if (!vcpu->kvm->arch.vgic.enabled)
|
|
return false;
|
|
return false;
|
|
|
|
|
|
|
|
+ if (vcpu->arch.vgic_cpu.vgic_v3.its_vpe.pending_last)
|
|
|
|
+ return true;
|
|
|
|
+
|
|
spin_lock_irqsave(&vgic_cpu->ap_list_lock, flags);
|
|
spin_lock_irqsave(&vgic_cpu->ap_list_lock, flags);
|
|
|
|
|
|
list_for_each_entry(irq, &vgic_cpu->ap_list_head, ap_list) {
|
|
list_for_each_entry(irq, &vgic_cpu->ap_list_head, ap_list) {
|