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);
1129 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq) in vgic_queue_irq() argument1137 BUG_ON(sgi_source_id & ~7); in vgic_queue_irq()1138 BUG_ON(sgi_source_id && irq >= VGIC_NR_SGIS); in vgic_queue_irq()1148 if (vlr.source == sgi_source_id) { in vgic_queue_irq()1162 kvm_debug("LR%d allocated for IRQ%d %x\n", lr, irq, sgi_source_id); in vgic_queue_irq()1167 vlr.source = sgi_source_id; in vgic_queue_irq()