ptimer_irq       1002 virt/kvm/arm/arch_timer.c 	int vtimer_irq, ptimer_irq;
ptimer_irq       1010 virt/kvm/arm/arch_timer.c 	ptimer_irq = vcpu_ptimer(vcpu)->irq.irq;
ptimer_irq       1011 virt/kvm/arm/arch_timer.c 	ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu));
ptimer_irq       1017 virt/kvm/arm/arch_timer.c 		    vcpu_ptimer(vcpu)->irq.irq != ptimer_irq)
ptimer_irq       1106 virt/kvm/arm/arch_timer.c static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq)
ptimer_irq       1113 virt/kvm/arm/arch_timer.c 		vcpu_ptimer(vcpu)->irq.irq = ptimer_irq;