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);