Searched refs:ptimer_irq (Results 1 – 1 of 1) sorted by relevance
84 static int vtimer_irq, ptimer_irq; variable139 timer_irq = ptimer_irq; in guest_validate_irq()214 gic_irq_enable(ptimer_irq); in guest_code()360 KVM_ARM_VCPU_TIMER_IRQ_PTIMER, &ptimer_irq); in test_init_timer_irq()364 sync_global_to_guest(vm, ptimer_irq); in test_init_timer_irq()367 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()