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             : }