Searched refs:ptimer_irq (Results 1 – 1 of 1) sorted by relevance
804 int vtimer_irq, ptimer_irq; in timer_irqs_are_valid() local812 ptimer_irq = vcpu_ptimer(vcpu)->irq.irq; in timer_irqs_are_valid()813 ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu)); in timer_irqs_are_valid()819 vcpu_ptimer(vcpu)->irq.irq != ptimer_irq) in timer_irqs_are_valid()892 static void set_timer_irqs(struct kvm *kvm, int vtimer_irq, int ptimer_irq) in set_timer_irqs() argument899 vcpu_ptimer(vcpu)->irq.irq = ptimer_irq; in set_timer_irqs()