Symbol: vcpu_get_vtimer_irq
tools/testing/selftests/kvm/arm64/arch_timer.c
169
vtimer_irq = vcpu_get_vtimer_irq(vcpus[0]);
tools/testing/selftests/kvm/arm64/arch_timer_edge_cases.c
928
vtimer_irq = vcpu_get_vtimer_irq(vcpu);