Lines Matching refs:direct_vtimer
182 map->direct_vtimer = vcpu_hvtimer(vcpu);
187 map->direct_vtimer = vcpu_vtimer(vcpu);
193 map->direct_vtimer = vcpu_vtimer(vcpu);
198 map->direct_vtimer = vcpu_vtimer(vcpu);
242 ctx = map.direct_vtimer;
583 if (!kvm_timer_irq_can_fire(map.direct_vtimer) &&
725 * emul_ptimer, direct_vtimer, and direct_ptimer.
732 hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));
738 map->direct_vtimer->host_timer_irq,
739 timer_irq(map->direct_vtimer),
754 if (map->direct_vtimer == vcpu_hvtimer(vcpu)) {
755 struct arch_timer_offset *offs = &map->direct_vtimer->offset;
841 kvm_timer_vcpu_load_gic(map.direct_vtimer);
850 timer_restore_state(map.direct_vtimer);
888 timer_save_state(map.direct_vtimer);
973 kvm_vgic_reset_mapped_irq(vcpu, timer_irq(map.direct_vtimer));
1534 map.direct_vtimer->host_timer_irq,
1535 timer_irq(map.direct_vtimer),