Lines Matching refs:vcpu_timer
499 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_save_state()
573 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_blocking()
598 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_unblocking()
605 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_restore_state()
828 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_load()
879 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_put()
929 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_sync_user()
940 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_reset()
1013 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_init()
1447 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_terminate()
1508 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_enable()