Searched refs:vtimer_irq (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/testing/selftests/kvm/aarch64/ |
| H A D | arch_timer.c | 24 static int vtimer_irq, ptimer_irq; variable
71 timer_irq = vtimer_irq; in guest_validate_irq()
153 gic_irq_enable(vtimer_irq); in guest_code()
171 KVM_ARM_VCPU_TIMER_IRQ_VTIMER, &vtimer_irq); in test_init_timer_irq()
174 sync_global_to_guest(vm, vtimer_irq); in test_init_timer_irq()
176 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()
|
| H A D | arch_timer_edge_cases.c | 74 static int vtimer_irq, ptimer_irq; variable
159 else if (intid == vtimer_irq) in guest_irq_handler()
839 gic_irq_enable(vtimer_irq); in guest_code()
954 KVM_ARM_VCPU_TIMER_IRQ_VTIMER, &vtimer_irq); in test_init_timer_irq()
957 sync_global_to_guest(vm, vtimer_irq); in test_init_timer_irq()
959 pr_debug("ptimer_irq: %d; vtimer_irq: %d\n", ptimer_irq, vtimer_irq); in test_init_timer_irq()
|