INTEL_CPUID_STANDARD 43 kernel/arch/amd64/include/arch/cpuid.h #define INTEL_CPUID_STANDARD 0x00000001 INTEL_CPUID_STANDARD 39 kernel/arch/ia32/include/arch/cpuid.h #define INTEL_CPUID_STANDARD 0x00000001