Lines Matching refs:vcpu_timer
426 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_save_state()
475 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_blocking()
498 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_unblocking()
505 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_restore_state()
602 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_load()
649 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_put()
707 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_sync_user()
718 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_reset()
770 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_init()
1075 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_terminate()
1121 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_enable()