Searched refs:vtimer_irq (Results 1 – 1 of 1) sorted by relevance
1082 int vtimer_irq, ptimer_irq; in timer_irqs_are_valid() local1085 vtimer_irq = vcpu_vtimer(vcpu)->irq.irq; in timer_irqs_are_valid()1086 ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu)); in timer_irqs_are_valid()1096 if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq || in timer_irqs_are_valid()1186 static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq) in set_timer_irqs() argument1192 vcpu_vtimer(vcpu)->irq.irq = vtimer_irq; in set_timer_irqs()
