Lines Matching refs:vcpu_timer
427 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_save_state()
476 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_blocking()
499 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_unblocking()
506 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_restore_state()
603 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_load()
650 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_put()
708 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_sync_user()
719 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_reset()
771 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_init()
1185 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_terminate()
1231 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_enable()