Lines Matching refs:vcpu_ptimer
185 map->emul_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
188 map->direct_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
194 map->direct_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
201 map->emul_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
434 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_update_run()
864 struct arch_timer_context *ptimer = vcpu_ptimer(vcpu); in kvm_timer_should_notify_user()
1024 timer_set_offset(vcpu_ptimer(vcpu), 0); in kvm_timer_vcpu_init()
1072 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
1078 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
1083 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_set_reg()
1124 vcpu_ptimer(vcpu), TIMER_REG_CTL); in kvm_arm_timer_get_reg()
1127 vcpu_ptimer(vcpu), TIMER_REG_CNT); in kvm_arm_timer_get_reg()
1130 vcpu_ptimer(vcpu), TIMER_REG_CVAL); in kvm_arm_timer_get_reg()
1625 timer = vcpu_ptimer(vcpu); in kvm_arm_timer_get_attr()