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