INTEL_CPUID_ECX 124 kernel/arch/amd64/src/cpu/cpu.c (info.cpuid_ecx == INTEL_CPUID_ECX) && INTEL_CPUID_ECX 136 kernel/arch/ia32/src/cpu/cpu.c (info.cpuid_ecx == INTEL_CPUID_ECX) &&