AMD_CPUID_ECX 115 kernel/arch/amd64/src/cpu/cpu.c (info.cpuid_ecx == AMD_CPUID_ECX) && AMD_CPUID_ECX 128 kernel/arch/ia32/src/cpu/cpu.c (info.cpuid_ecx == AMD_CPUID_ECX) &&