Searched refs:vgic_dist_irq_clear_pending (Results 1 – 4 of 4) sorted by relevance
51 void vgic_dist_irq_clear_pending(struct kvm_vcpu *vcpu, int irq);
353 void vgic_dist_irq_clear_pending(struct kvm_vcpu *vcpu, int irq) in vgic_dist_irq_clear_pending() function1181 vgic_dist_irq_clear_pending(vcpu, irq); in vgic_queue_hwirq()1316 vgic_dist_irq_clear_pending(vcpu, vlr.irq); in vgic_process_maintenance()1491 vgic_dist_irq_clear_pending(vcpu, irq_num); in vgic_update_irq_pending()
472 vgic_dist_irq_clear_pending(vcpu, irq); in vgic_v2_queue_sgi()
714 vgic_dist_irq_clear_pending(vcpu, irq); in vgic_v3_queue_sgi()