kvm/vgic/vgic.c

497 			  u32 vintid, struct irq_ops *ops)
499 	struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
516  * @vintid: The INTID of the interrupt
522 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid)
524 	struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
539 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid)
547 	irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
558 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid)
560 	struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
1004 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid)
1013 	irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);