Symbol: kvm_timer_cpu_down
arch/arm64/kvm/arm.c
2251
kvm_timer_cpu_down();
include/kvm/arm_arch_timer.h
147
void kvm_timer_cpu_down(void);