1 // SPDX-License-Identifier: GPL-2.0
2 #include <linux/types.h>
3 
4 #include "../../../util/tsc.h"
5 
rdtsc(void)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