check_c_source_compiles("
        #include <x86intrin.h>
        int main() {
            return __rdtsc();
        }" HAVE__RDTSC_GCC)