Lines Matching refs:vcpu_timer
339 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_save_state()
388 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_blocking()
411 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_unblocking()
418 struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu); in timer_restore_state()
525 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_load()
572 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_put()
629 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_sync_hwstate()
640 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_reset()
692 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_init()
994 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_vcpu_terminate()
1040 struct arch_timer_cpu *timer = vcpu_timer(vcpu); in kvm_timer_enable()