vtimer            281 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer            288 virt/kvm/arm/arch_timer.c 	if (kvm_timer_should_fire(vtimer))
vtimer            497 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer            505 virt/kvm/arm/arch_timer.c 	kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer);
vtimer            517 virt/kvm/arm/arch_timer.c 	if (vtimer->irq.level)
vtimer            555 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer            566 virt/kvm/arm/arch_timer.c 	return kvm_timer_should_fire(vtimer) != vlevel ||
vtimer            616 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer            618 virt/kvm/arm/arch_timer.c 	if (!kvm_timer_should_fire(vtimer)) {
vtimer            619 virt/kvm/arm/arch_timer.c 		kvm_timer_update_irq(vcpu, false, vtimer);
vtimer            621 virt/kvm/arm/arch_timer.c 			set_timer_irq_phys_active(vtimer, false);
vtimer            693 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer            703 virt/kvm/arm/arch_timer.c 	hrtimer_init(&vtimer->hrtimer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
vtimer            705 virt/kvm/arm/arch_timer.c 	vtimer->hrtimer.function = kvm_hrtimer_expire;
vtimer            708 virt/kvm/arm/arch_timer.c 	vtimer->irq.irq = default_vtimer_irq.irq;
vtimer            711 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq = host_vtimer_irq;
vtimer            714 virt/kvm/arm/arch_timer.c 	vtimer->host_timer_irq_flags = host_vtimer_irq_flags;
vtimer            717 virt/kvm/arm/arch_timer.c 	vtimer->vcpu = vcpu;
vtimer           1120 virt/kvm/arm/arch_timer.c 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
vtimer           1141 virt/kvm/arm/arch_timer.c 		set_timer_irqs(vcpu->kvm, vtimer->irq.irq, irq);