Searched refs:vgic_dist_irq_set_level (Results 1 – 1 of 1) sorted by relevance
311 static void vgic_dist_irq_set_level(struct kvm_vcpu *vcpu, int irq) in vgic_dist_irq_set_level() function1485 vgic_dist_irq_set_level(vcpu, irq_num); in vgic_update_irq_pending()