Searched refs:sgi_source_id (Results 1 - 2 of 2) sorted by relevance

/linux-4.4.14/virt/kvm/arm/
H A Dvgic.h59 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq);
H A Dvgic.c1186 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq) vgic_queue_irq() argument
1195 BUG_ON(sgi_source_id & ~7); vgic_queue_irq()
1196 BUG_ON(sgi_source_id && irq >= VGIC_NR_SGIS); vgic_queue_irq()
1204 if (vlr.irq == irq && vlr.source == sgi_source_id) { vgic_queue_irq()
1216 kvm_debug("LR%d allocated for IRQ%d %x\n", lr, irq, sgi_source_id); vgic_queue_irq()
1219 vlr.source = sgi_source_id; vgic_queue_irq()

Completed in 81 milliseconds