arch_timer_populate_kvm_info 1260 drivers/clocksource/arm_arch_timer.c 	arch_timer_populate_kvm_info();
arch_timer_populate_kvm_info 1590 drivers/clocksource/arm_arch_timer.c 	arch_timer_populate_kvm_info();