Searched refs:vtimer_irq (Results 1 – 1 of 1) sorted by relevance
1001 int vtimer_irq, ptimer_irq; in timer_irqs_are_valid() local1004 vtimer_irq = vcpu_vtimer(vcpu)->irq.irq; in timer_irqs_are_valid()1005 ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu)); in timer_irqs_are_valid()1015 if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq || in timer_irqs_are_valid()1105 static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq) in set_timer_irqs() argument1111 vcpu_vtimer(vcpu)->irq.irq = vtimer_irq; in set_timer_irqs()
