vtimer_irq       1002 virt/kvm/arm/arch_timer.c 	int vtimer_irq, ptimer_irq;
vtimer_irq       1005 virt/kvm/arm/arch_timer.c 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;
vtimer_irq       1006 virt/kvm/arm/arch_timer.c 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));
vtimer_irq       1016 virt/kvm/arm/arch_timer.c 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||
vtimer_irq       1106 virt/kvm/arm/arch_timer.c static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq)
vtimer_irq       1112 virt/kvm/arm/arch_timer.c 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;