Lines Matching refs:vcpu_ptimer
150 map->direct_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
155 map->emul_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
369 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run()
633 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user()
730 timer_set_ctl(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_reset()
734 kvm_timer_update_irq(vcpu, false, vcpu_ptimer(vcpu)); in kvm_timer_vcpu_reset()
772 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_vcpu_init()
823 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
827 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
868 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()
871 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()
874 vcpu_ptimer(vcpu), TIMER_REG_CVAL); in kvm_arm_timer_get_reg()
1090 ptimer_irq = vcpu_ptimer(vcpu)->irq.irq; in timer_irqs_are_valid()
1091 ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu)); in timer_irqs_are_valid()
1097 vcpu_ptimer(vcpu)->irq.irq != ptimer_irq) in timer_irqs_are_valid()
1111 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1112 timer = vcpu_ptimer(vcpu); in kvm_arch_timer_get_input_level()
1194 vcpu_ptimer(vcpu)->irq.irq = ptimer_irq; in set_timer_irqs()
1202 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_attr()
1242 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_get_attr()