Lines Matching refs:direct_ptimer
150 map->direct_ptimer = vcpu_ptimer(vcpu); in get_timer_map()
154 map->direct_ptimer = NULL; in get_timer_map()
198 ctx = map.direct_ptimer; in kvm_arch_timer_handler()
359 kvm_timer_should_fire(map.direct_ptimer) || in kvm_timer_is_pending()
485 !kvm_timer_irq_can_fire(map.direct_ptimer) && in kvm_timer_blocking()
612 if (map.direct_ptimer) in kvm_timer_vcpu_load()
613 kvm_timer_vcpu_load_gic(map.direct_ptimer); in kvm_timer_vcpu_load()
623 if (map.direct_ptimer) in kvm_timer_vcpu_load()
624 timer_restore_state(map.direct_ptimer); in kvm_timer_vcpu_load()
659 if (map.direct_ptimer) in kvm_timer_vcpu_put()
660 timer_save_state(map.direct_ptimer); in kvm_timer_vcpu_put()
738 if (map.direct_ptimer) in kvm_timer_vcpu_reset()
739 kvm_vgic_reset_mapped_irq(vcpu, map.direct_ptimer->irq.irq); in kvm_timer_vcpu_reset()
1149 if (map.direct_ptimer) { in kvm_timer_enable()
1151 map.direct_ptimer->host_timer_irq, in kvm_timer_enable()
1152 map.direct_ptimer->irq.irq, in kvm_timer_enable()