vintid            961 drivers/irqchip/irq-gic-v3-its.c 	desc.its_vmapti_cmd.virt_id = map->vintid;
vintid           1068 drivers/irqchip/irq-gic-v3-its.c 		hwirq = map->vintid;
vintid             95 include/kvm/arm_arch_timer.h bool kvm_arch_timer_get_input_level(int vintid);
vintid            137 include/kvm/arm_vgic.h 	bool (*get_input_level)(int vintid);
vintid            347 include/kvm/arm_vgic.h 			  u32 vintid, bool (*get_input_level)(int vindid));
vintid            348 include/kvm/arm_vgic.h int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid);
vintid            349 include/kvm/arm_vgic.h bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid);
vintid            366 include/kvm/arm_vgic.h void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid);
vintid             69 include/linux/irqchip/arm-gic-v4.h 	u32			vintid;
vintid           1024 virt/kvm/arm/arch_timer.c bool kvm_arch_timer_get_input_level(int vintid)
vintid           1029 virt/kvm/arm/arch_timer.c 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)
vintid           1031 virt/kvm/arm/arch_timer.c 	else if (vintid == vcpu_ptimer(vcpu)->irq.irq)
vintid            284 virt/kvm/arm/vgic/vgic-v4.c 		.vintid		= irq->intid,
vintid            515 virt/kvm/arm/vgic/vgic.c 			  u32 vintid, bool (*get_input_level)(int vindid))
vintid            517 virt/kvm/arm/vgic/vgic.c 	struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
vintid            540 virt/kvm/arm/vgic/vgic.c void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid)
vintid            542 virt/kvm/arm/vgic/vgic.c 	struct vgic_irq *irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
vintid            557 virt/kvm/arm/vgic/vgic.c int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid)
vintid            565 virt/kvm/arm/vgic/vgic.c 	irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);
vintid            999 virt/kvm/arm/vgic/vgic.c bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid)
vintid           1008 virt/kvm/arm/vgic/vgic.c 	irq = vgic_get_irq(vcpu->kvm, vcpu, vintid);