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()
370 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run()
634 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user()
731 timer_set_ctl(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_reset()
735 kvm_timer_update_irq(vcpu, false, vcpu_ptimer(vcpu)); in kvm_timer_vcpu_reset()
773 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_vcpu_init()
824 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
828 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
869 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()
872 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()
875 vcpu_ptimer(vcpu), TIMER_REG_CVAL); in kvm_arm_timer_get_reg()
1200 ptimer_irq = vcpu_ptimer(vcpu)->irq.irq; in timer_irqs_are_valid()
1201 ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu)); in timer_irqs_are_valid()
1207 vcpu_ptimer(vcpu)->irq.irq != ptimer_irq) in timer_irqs_are_valid()
1221 else if (vintid == vcpu_ptimer(vcpu)->irq.irq) in kvm_arch_timer_get_input_level()
1222 timer = vcpu_ptimer(vcpu); in kvm_arch_timer_get_input_level()
1304 vcpu_ptimer(vcpu)->irq.irq = ptimer_irq; in set_timer_irqs()
1312 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_attr()
1352 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_get_attr()