Searched refs:vtimer_irq (Results 1 – 1 of 1) sorted by relevance
1192 int vtimer_irq, ptimer_irq; in timer_irqs_are_valid() local1195 vtimer_irq = vcpu_vtimer(vcpu)->irq.irq; in timer_irqs_are_valid()1196 ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu)); in timer_irqs_are_valid()1206 if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq || in timer_irqs_are_valid()1297 static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq) in set_timer_irqs() argument1303 vcpu_vtimer(vcpu)->irq.irq = vtimer_irq; in set_timer_irqs()
