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