Searched refs:vgic_dist_irq_is_pending (Results 1 – 1 of 1) sorted by relevance
372 static int vgic_dist_irq_is_pending(struct kvm_vcpu *vcpu, int irq) in vgic_dist_irq_is_pending() function1152 WARN_ON(!vgic_dist_irq_is_pending(vcpu, irq)); in vgic_queue_irq_to_lr()1337 pending = vgic_dist_irq_is_pending(vcpu, vlr.irq); in process_queued_irq()1516 int state = vgic_dist_irq_is_pending(vcpu, irq); in vgic_validate_injection()