Lines Matching refs:vcpu_vtimer
149 map->direct_vtimer = vcpu_vtimer(vcpu);
153 map->direct_vtimer = vcpu_vtimer(vcpu);
368 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
574 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
632 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
694 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
729 timer_set_ctl(vcpu_vtimer(vcpu), 0);
733 kvm_timer_update_irq(vcpu, false, vcpu_vtimer(vcpu));
758 timer_set_offset(vcpu_vtimer(tmp), cntvoff);
764 timer_set_offset(vcpu_vtimer(vcpu), cntvoff);
771 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
811 timer = vcpu_vtimer(vcpu);
815 timer = vcpu_vtimer(vcpu);
819 timer = vcpu_vtimer(vcpu);
859 vcpu_vtimer(vcpu), TIMER_REG_CTL);
862 vcpu_vtimer(vcpu), TIMER_REG_CNT);
865 vcpu_vtimer(vcpu), TIMER_REG_CVAL);
1085 vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;
1086 ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));
1096 if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||
1109 if (vintid == vcpu_vtimer(vcpu)->irq.irq)
1110 timer = vcpu_vtimer(vcpu);
1192 vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;
1200 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
1238 timer = vcpu_vtimer(vcpu);