Lines Matching refs:vcpu_ptimer
151 map->direct_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
156 map->emul_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
384 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run()
649 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user()
745 timer_set_ctl(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_reset()
749 kvm_timer_update_irq(vcpu, false, vcpu_ptimer(vcpu)); in kvm_timer_vcpu_reset()
787 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_vcpu_init()
838 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
842 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
883 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()
886 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()
889 vcpu_ptimer(vcpu), TIMER_REG_CVAL); in kvm_arm_timer_get_reg()
1214 ptimer_irq = vcpu_ptimer(vcpu)->irq.irq; in timer_irqs_are_valid()
1215 ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu)); in timer_irqs_are_valid()
1221 vcpu_ptimer(vcpu)->irq.irq != ptimer_irq) in timer_irqs_are_valid()
1238 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1239 timer = vcpu_ptimer(vcpu); in kvm_arch_timer_get_input_level()
1321 vcpu_ptimer(vcpu)->irq.irq = ptimer_irq; in set_timer_irqs()
1329 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_attr()
1369 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_get_attr()