Home
last modified time | relevance | path

Searched refs:vtimer (Results 1 – 1 of 1) sorted by relevance

/arch/arm64/kvm/
A Darch_timer.c417 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local
424 if (kvm_timer_should_fire(vtimer)) in kvm_timer_update_run()
692 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local
700 kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer); in kvm_timer_vcpu_load_nogic()
712 if (vtimer->irq.level) in kvm_timer_vcpu_load_nogic()
901 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local
912 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()
993 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local
995 if (!kvm_timer_should_fire(vtimer)) { in unmask_vtimer_irq_user()
996 kvm_timer_update_irq(vcpu, false, vtimer); in unmask_vtimer_irq_user()
[all …]

Completed in 7 milliseconds