vgic_get_irq
irq = vgic_get_irq(kvm, iter->intid);
irq = vgic_get_irq(kvm, intid);
irq = vgic_get_irq(kvm, intid);
irq = vgic_get_irq(vcpu->kvm, intid);
struct vgic_irq *irq = vgic_get_irq(kvm, intid), *oldirq;
struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, intid + i);
struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, intid);
irq = vgic_get_irq(vcpu->kvm, intid);
irq = vgic_get_irq(vcpu->kvm, intid);
irq = vgic_get_irq(vcpu->kvm, intid + i);
return vgic_get_irq(vcpu->kvm, intid);
irq = vgic_get_irq(kvm, intid);
struct vgic_irq *vgic_get_irq(struct kvm *kvm, u32 intid);