Searched defs:vtimer (Results 1 – 1 of 1) sorted by relevance
407 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local683 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local892 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local984 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local