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);