Searched refs:vgic_dist_irq_is_pending (Results 1 – 1 of 1) sorted by relevance
339 static int vgic_dist_irq_is_pending(struct kvm_vcpu *vcpu, int irq) in vgic_dist_irq_is_pending() function1112 } else if (vgic_dist_irq_is_pending(vcpu, irq)) { in vgic_queue_irq_to_lr()1443 int state = vgic_dist_irq_is_pending(vcpu, irq); in vgic_validate_injection()