Searched refs:vgic_dist_irq_set_pending (Results 1 – 4 of 4) sorted by relevance
50 void vgic_dist_irq_set_pending(struct kvm_vcpu *vcpu, int irq);
379 void vgic_dist_irq_set_pending(struct kvm_vcpu *vcpu, int irq) in vgic_dist_irq_set_pending() function1084 vgic_dist_irq_set_pending(vcpu, vlr.irq); in vgic_retire_lr()1558 vgic_dist_irq_set_pending(vcpu, irq_num); in vgic_update_irq_pending()
439 vgic_dist_irq_set_pending(vcpu, sgi); in vgic_dispatch_sgi()
982 vgic_dist_irq_set_pending(c_vcpu, sgi); in vgic_v3_dispatch_sgi()