Symbol: kvmclock_reset
arch/x86/kvm/x86.c
12891
kvmclock_reset(vcpu);
arch/x86/kvm/x86.c
13013
kvmclock_reset(vcpu);