Use RDTSC, RDTSCP, and CPUID for benchmarking