INTEL_CPUID_LEVEL 109 kernel/arch/amd64/src/cpu/cpu.c cpuid(INTEL_CPUID_LEVEL, &info); INTEL_CPUID_LEVEL 122 kernel/arch/ia32/src/cpu/cpu.c cpuid(INTEL_CPUID_LEVEL, &info);