trace_kvm_write_tsc_offset 1512 arch/x86/kvm/svm.c 	trace_kvm_write_tsc_offset(vcpu->vcpu_id,
trace_kvm_write_tsc_offset 1705 arch/x86/kvm/vmx/vmx.c 	trace_kvm_write_tsc_offset(vcpu->vcpu_id,