INTEL_CPUID_LEVEL 42 kernel/arch/amd64/include/arch/cpuid.h #define INTEL_CPUID_LEVEL 0x00000000 INTEL_CPUID_LEVEL 38 kernel/arch/ia32/include/arch/cpuid.h #define INTEL_CPUID_LEVEL 0x00000000