Lines Matching defs:vtimer
433 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
440 if (kvm_timer_should_fire(vtimer))
679 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
687 kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer);
699 if (vtimer->irq.level)
723 * We only ever unmap the vtimer irq on a VHE system that runs nested
863 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
874 return kvm_timer_should_fire(vtimer) != vlevel ||
917 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
919 if (!kvm_timer_should_fire(vtimer)) {
920 kvm_timer_update_irq(vcpu, false, vtimer);
922 set_timer_irq_phys_active(vtimer, false);
1343 /* Assume both vtimer and ptimer in the same parent */
1390 "kvm guest vtimer", kvm_get_running_vcpus());
1392 kvm_err("kvm_arch_timer: can't request vtimer interrupt %d (%d)\n",