TSC_OFFSET        670 arch/x86/kvm/vmx.c 			new_offset = vmcs_read64(TSC_OFFSET) + delta;
TSC_OFFSET        671 arch/x86/kvm/vmx.c 			vmcs_write64(TSC_OFFSET, new_offset);
TSC_OFFSET        822 arch/x86/kvm/vmx.c 	tsc_offset = vmcs_read64(TSC_OFFSET);
TSC_OFFSET        835 arch/x86/kvm/vmx.c 	vmcs_write64(TSC_OFFSET, guest_tsc - host_tsc);