Searched defs:vtimer (Results 1 – 1 of 1) sorted by relevance
432 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local678 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local862 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local916 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local