Searched refs:vgic_cpu_irq_set (Results 1 – 1 of 1) sorted by relevance
360 static void vgic_cpu_irq_set(struct kvm_vcpu *vcpu, int irq) in vgic_cpu_irq_set() function1313 vgic_cpu_irq_set(vcpu, vlr.irq); in vgic_process_maintenance()1515 vgic_cpu_irq_set(vcpu, irq_num); in vgic_update_irq_pending()