kvmclock_reset   9146 arch/x86/kvm/x86.c 	kvmclock_reset(vcpu);
kvmclock_reset   9240 arch/x86/kvm/x86.c 	kvmclock_reset(vcpu);