Searched refs:vgic_irq_clear_queued (Results 1 – 1 of 1) sorted by relevance
311 static void vgic_irq_clear_queued(struct kvm_vcpu *vcpu, int irq) in vgic_irq_clear_queued() function1084 vgic_irq_clear_queued(vcpu, vlr.irq); in vgic_retire_lr()1332 vgic_irq_clear_queued(vcpu, vlr.irq); in process_queued_irq()