Lines Matching refs:vcpu_timer
441 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_save_state()
490 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_blocking()
514 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_unblocking()
521 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_restore_state()
618 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_load()
665 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_put()
722 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_sync_user()
733 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_reset()
785 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_init()
1199 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_terminate()
1248 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_enable()