Searched refs:sgi_source_id (Results 1 – 2 of 2) sorted by relevance
59 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq);
1179 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq) in vgic_queue_irq() argument1188 BUG_ON(sgi_source_id & ~7); in vgic_queue_irq()1189 BUG_ON(sgi_source_id && irq >= VGIC_NR_SGIS); in vgic_queue_irq()1197 if (vlr.irq == irq && vlr.source == sgi_source_id) { in vgic_queue_irq()1209 kvm_debug("LR%d allocated for IRQ%d %x\n", lr, irq, sgi_source_id); in vgic_queue_irq()1212 vlr.source = sgi_source_id; in vgic_queue_irq()