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()
662 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user()
749 timer_set_ctl(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_reset()
753 kvm_timer_update_irq(vcpu, false, vcpu_ptimer(vcpu)); in kvm_timer_vcpu_reset()
791 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_vcpu_init()
850 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
854 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
895 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()
898 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()
901 vcpu_ptimer(vcpu), TIMER_REG_CVAL); in kvm_arm_timer_get_reg()
1228 ptimer_irq = vcpu_ptimer(vcpu)->irq.irq; in timer_irqs_are_valid()
1229 ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu)); in timer_irqs_are_valid()
1235 vcpu_ptimer(vcpu)->irq.irq != ptimer_irq) in timer_irqs_are_valid()
1252 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1253 timer = vcpu_ptimer(vcpu); in kvm_arch_timer_get_input_level()
1335 vcpu_ptimer(vcpu)->irq.irq = ptimer_irq; in set_timer_irqs()
1343 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_attr()
1383 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_get_attr()