Searched refs:kvm_vgic_vcpu_pending_irq (Results 1 – 1 of 1) sorted by relevance
1265 if (!kvm_vgic_vcpu_pending_irq(vcpu) && !dist_active_irq(vcpu)) in __kvm_vgic_flush_hwstate()1474 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu) in kvm_vgic_vcpu_pending_irq() function1494 if (kvm_vgic_vcpu_pending_irq(vcpu)) in vgic_kick_vcpus()