Branch data     Line data    Source code

       1                 :            : // SPDX-License-Identifier: GPL-2.0
       2                 :            : /*
       3                 :            :  * X86 trace clocks
       4                 :            :  */
       5                 :            : #include <asm/trace_clock.h>
       6                 :            : #include <asm/barrier.h>
       7                 :            : #include <asm/msr.h>
       8                 :            : 
       9                 :            : /*
      10                 :            :  * trace_clock_x86_tsc(): A clock that is just the cycle counter.
      11                 :            :  *
      12                 :            :  * Unlike the other clocks, this is not in nanoseconds.
      13                 :            :  */
      14                 :          0 : u64 notrace trace_clock_x86_tsc(void)
      15                 :            : {
      16                 :          0 :         return rdtsc_ordered();
      17                 :            : }