Searched refs:vgic_irq_set_queued (Results 1 – 1 of 1) sorted by relevance
304 static void vgic_irq_set_queued(struct kvm_vcpu *vcpu, int irq) in vgic_irq_set_queued() function1174 vgic_irq_set_queued(vcpu, irq); in vgic_queue_irq_to_lr()1236 vgic_irq_set_queued(vcpu, irq); in vgic_queue_hwirq()