Lines Matching refs:direct_vtimer
149 map->direct_vtimer = vcpu_vtimer(vcpu);
153 map->direct_vtimer = vcpu_vtimer(vcpu);
196 ctx = map.direct_vtimer;
358 return kvm_timer_should_fire(map.direct_vtimer) ||
484 if (!kvm_timer_irq_can_fire(map.direct_vtimer) &&
611 kvm_timer_vcpu_load_gic(map.direct_vtimer);
618 set_cntvoff(timer_get_offset(map.direct_vtimer));
622 timer_restore_state(map.direct_vtimer);
658 timer_save_state(map.direct_vtimer);
737 kvm_vgic_reset_mapped_irq(vcpu, map.direct_vtimer->irq.irq);
1143 map.direct_vtimer->host_timer_irq,
1144 map.direct_vtimer->irq.irq,