1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/types.h> 3 4 #include "../../../util/tsc.h" 5 6 u64 rdtsc(void) 7 { 8 unsigned int low, high; 9 10 asm volatile("rdtsc" : "=a" (low), "=d" (high)); 11 12 return low | ((u64)high) << 32; 13 } 14