kvm_write_tsc    2042 arch/x86/kvm/x86.c EXPORT_SYMBOL_GPL(kvm_write_tsc);
kvm_write_tsc    2790 arch/x86/kvm/x86.c 		kvm_write_tsc(vcpu, msr_info);
kvm_write_tsc    9192 arch/x86/kvm/x86.c 	kvm_write_tsc(vcpu, &msr);
kvm_write_tsc     266 arch/x86/kvm/x86.h void kvm_write_tsc(struct kvm_vcpu *vcpu, struct msr_data *msr);