Files
2024-09-29 11:21:46 -03:00

12 lines
231 B
C

#ifndef _TSC_H
#define _TSC_H
static inline uint64_t rdtsc_serialized(void) {
uint32_t high;
uint32_t low;
asm volatile("cpuid; rdtsc;" : "=a"(low), "=d"(high) : : "rbx", "rcx");
return ((uint64_t)high << 32) | low;
}
#endif