vcpu_ptimer        63 virt/kvm/arm/arch_timer.c 		map->direct_ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer        68 virt/kvm/arm/arch_timer.c 		map->emul_ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer       282 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer       556 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer       652 virt/kvm/arm/arch_timer.c 	vcpu_ptimer(vcpu)->cnt_ctl = 0;
vcpu_ptimer       656 virt/kvm/arm/arch_timer.c 		kvm_timer_update_irq(vcpu, false, vcpu_ptimer(vcpu));
vcpu_ptimer       694 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer       745 virt/kvm/arm/arch_timer.c 		timer = vcpu_ptimer(vcpu);
vcpu_ptimer       749 virt/kvm/arm/arch_timer.c 		timer = vcpu_ptimer(vcpu);
vcpu_ptimer       788 virt/kvm/arm/arch_timer.c 					  vcpu_ptimer(vcpu), TIMER_REG_CTL);
vcpu_ptimer       794 virt/kvm/arm/arch_timer.c 					  vcpu_ptimer(vcpu), TIMER_REG_CVAL);
vcpu_ptimer      1010 virt/kvm/arm/arch_timer.c 	ptimer_irq = vcpu_ptimer(vcpu)->irq.irq;
vcpu_ptimer      1011 virt/kvm/arm/arch_timer.c 	ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu));
vcpu_ptimer      1017 virt/kvm/arm/arch_timer.c 		    vcpu_ptimer(vcpu)->irq.irq != ptimer_irq)
vcpu_ptimer      1031 virt/kvm/arm/arch_timer.c 	else if (vintid == vcpu_ptimer(vcpu)->irq.irq)
vcpu_ptimer      1032 virt/kvm/arm/arch_timer.c 		timer = vcpu_ptimer(vcpu);
vcpu_ptimer      1113 virt/kvm/arm/arch_timer.c 		vcpu_ptimer(vcpu)->irq.irq = ptimer_irq;
vcpu_ptimer      1121 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);
vcpu_ptimer      1161 virt/kvm/arm/arch_timer.c 		timer = vcpu_ptimer(vcpu);