vcpu_vtimer        62 virt/kvm/arm/arch_timer.c 		map->direct_vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer        66 virt/kvm/arm/arch_timer.c 		map->direct_vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       281 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       497 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       555 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       616 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       651 virt/kvm/arm/arch_timer.c 	vcpu_vtimer(vcpu)->cnt_ctl = 0;
vcpu_vtimer       655 virt/kvm/arm/arch_timer.c 		kvm_timer_update_irq(vcpu, false, vcpu_vtimer(vcpu));
vcpu_vtimer       680 virt/kvm/arm/arch_timer.c 		vcpu_vtimer(tmp)->cntvoff = cntvoff;
vcpu_vtimer       686 virt/kvm/arm/arch_timer.c 	vcpu_vtimer(vcpu)->cntvoff = cntvoff;
vcpu_vtimer       693 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer       733 virt/kvm/arm/arch_timer.c 		timer = vcpu_vtimer(vcpu);
vcpu_vtimer       737 virt/kvm/arm/arch_timer.c 		timer = vcpu_vtimer(vcpu);
vcpu_vtimer       741 virt/kvm/arm/arch_timer.c 		timer = vcpu_vtimer(vcpu);
vcpu_vtimer       779 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CTL);
vcpu_vtimer       782 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);
vcpu_vtimer       785 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CVAL);
vcpu_vtimer       791 virt/kvm/arm/arch_timer.c 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);
vcpu_vtimer      1005 virt/kvm/arm/arch_timer.c 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;
vcpu_vtimer      1006 virt/kvm/arm/arch_timer.c 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));
vcpu_vtimer      1016 virt/kvm/arm/arch_timer.c 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||
vcpu_vtimer      1029 virt/kvm/arm/arch_timer.c 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)
vcpu_vtimer      1030 virt/kvm/arm/arch_timer.c 		timer = vcpu_vtimer(vcpu);
vcpu_vtimer      1112 virt/kvm/arm/arch_timer.c 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;
vcpu_vtimer      1120 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vcpu_vtimer      1158 virt/kvm/arm/arch_timer.c 		timer = vcpu_vtimer(vcpu);