Searched refs:vtimer_irq (Results 1 – 1 of 1) sorted by relevance
75 static int vtimer_irq, ptimer_irq; variable160 else if (intid == vtimer_irq) in guest_irq_handler()834 gic_irq_enable(vtimer_irq); in guest_code()930 KVM_ARM_VCPU_TIMER_IRQ_VTIMER, &vtimer_irq); in test_init_timer_irq()933 sync_global_to_guest(vm, vtimer_irq); in test_init_timer_irq()935 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()