arch_timer_get_kvm_info   87 include/clocksource/arm_arch_timer.h extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);
arch_timer_get_kvm_info  901 virt/kvm/arm/arch_timer.c 	info = arch_timer_get_kvm_info();