AMD_CPUID_EDX 116 kernel/arch/amd64/src/cpu/cpu.c (info.cpuid_edx == AMD_CPUID_EDX)) { AMD_CPUID_EDX 129 kernel/arch/ia32/src/cpu/cpu.c (info.cpuid_edx == AMD_CPUID_EDX))