Lines Matching refs:direct_ptimer
183 map->direct_ptimer = vcpu_hptimer(vcpu);
188 map->direct_ptimer = vcpu_ptimer(vcpu);
194 map->direct_ptimer = vcpu_ptimer(vcpu);
199 map->direct_ptimer = NULL;
244 ctx = map.direct_ptimer;
584 !kvm_timer_irq_can_fire(map.direct_ptimer) &&
725 * emul_ptimer, direct_vtimer, and direct_ptimer.
743 map->direct_ptimer->host_timer_irq,
744 timer_irq(map->direct_ptimer),
794 if (!has_cntpoff() && timer_get_offset(map->direct_ptimer))
842 if (map.direct_ptimer)
843 kvm_timer_vcpu_load_gic(map.direct_ptimer);
851 if (map.direct_ptimer)
852 timer_restore_state(map.direct_ptimer);
889 if (map.direct_ptimer)
890 timer_save_state(map.direct_ptimer);
974 if (map.direct_ptimer)
975 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_ptimer));
1540 if (map.direct_ptimer) {
1542 map.direct_ptimer->host_timer_irq,
1543 timer_irq(map.direct_ptimer),