AMD_CPUID_EBX 114 kernel/arch/amd64/src/cpu/cpu.c if ((info.cpuid_ebx == AMD_CPUID_EBX) && AMD_CPUID_EBX 127 kernel/arch/ia32/src/cpu/cpu.c if ((info.cpuid_ebx == AMD_CPUID_EBX) &&