kvm_vcpu_write_tsc_offset 2028 arch/x86/kvm/x86.c 	kvm_vcpu_write_tsc_offset(vcpu, offset);
kvm_vcpu_write_tsc_offset 2048 arch/x86/kvm/x86.c 	kvm_vcpu_write_tsc_offset(vcpu, tsc_offset + adjustment);
kvm_vcpu_write_tsc_offset 3522 arch/x86/kvm/x86.c 			kvm_vcpu_write_tsc_offset(vcpu, offset);