kvmclock_init    1038 arch/x86/kernel/setup.c 	kvmclock_init();
kvmclock_init      51 include/asm-x86/kvm_para.h extern void kvmclock_init(void);