Lines Matching refs:vintid
517 u32 vintid, struct irq_ops *ops)
519 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
536 * @vintid: The INTID of the interrupt
542 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid)
544 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
559 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid)
567 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
578 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid)
580 struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
1024 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid)
1033 irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);