kvm_write_tsc_offset 794 arch/x86/kvm/trace.h TRACE_EVENT(kvm_write_tsc_offset, kvm_write_tsc_offset 10372 arch/x86/kvm/x86.c EXPORT_TRACEPOINT_SYMBOL_GPL(kvm_write_tsc_offset);