Searched refs:vgic_cpu_irq_set (Results 1 – 1 of 1) sorted by relevance
393 static void vgic_cpu_irq_set(struct kvm_vcpu *vcpu, int irq) in vgic_cpu_irq_set() function1340 vgic_cpu_irq_set(vcpu, vlr.irq); in process_queued_irq()1598 vgic_cpu_irq_set(vcpu, irq_num); in vgic_update_irq_pending()