Symbol: vcpu_get_ptimer_irq
tools/testing/selftests/kvm/arm64/arch_timer.c
168
ptimer_irq = vcpu_get_ptimer_irq(vcpus[0]);
tools/testing/selftests/kvm/arm64/arch_timer_edge_cases.c
927
ptimer_irq = vcpu_get_ptimer_irq(vcpu);