Searched defs:vtimer (Results 1 – 1 of 1) sorted by relevance
433 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local679 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local863 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local917 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local