12 #include <mrpt/config.h>
33 #define cpuid(info, x) __cpuidex(info, x, 0)
39 cpuid(info, 0x80000000);
40 unsigned nExIds = info[0];
45 if (nIds >= 0x00000001)
47 cpuid(info, 0x00000001);
58 if (nIds >= 0x00000007)
60 cpuid(info, 0x00000007);
79 #if defined(__x86_64__)