kvmclock_init       9 arch/x86/include/asm/kvm_para.h extern void kvmclock_init(void);
kvmclock_init     713 arch/x86/kernel/kvm.c 	kvmclock_init();