vgic_get_vcpu_irq
irq = vgic_get_vcpu_irq(vcpu, iter->intid);
irq = vgic_get_vcpu_irq(vcpu, intid);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, sgi);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, intid + i);
irq = vgic_get_vcpu_irq(vcpu, intid + i);
irq = vgic_get_vcpu_irq(vcpu, intid + i);
irq = vgic_get_vcpu_irq(vcpu, val);
irq = vgic_get_vcpu_irq(vcpu, intid);
irq = vgic_get_vcpu_irq(vcpu, FIELD_GET(ICH_LR_PHYS_ID_MASK, lr));
irq = vgic_get_vcpu_irq(vcpu, val);
irq = vgic_get_vcpu_irq(vcpu, intid);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, i);
irq = vgic_get_vcpu_irq(vcpu, vintid);
irq = vgic_get_vcpu_irq(vcpu, intid);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid);
irq = vgic_get_vcpu_irq(vcpu, vintid);
struct vgic_irq *irq = vgic_get_vcpu_irq(vcpu, vintid);
irq = vgic_get_vcpu_irq(vcpu, intid);
struct vgic_irq *vgic_get_vcpu_irq(struct kvm_vcpu *vcpu, u32 intid);