Symbol: kvm_timer_cpu_up
arch/arm64/kvm/arm.c
2242
kvm_timer_cpu_up();
include/kvm/arm_arch_timer.h
146
void kvm_timer_cpu_up(void);