Symbol: IA32_FEATURE_WAITPKG
src/system/kernel/arch/x86/arch_cpu.cpp
629
if (cpu->arch.feature[FEATURE_7_ECX] & IA32_FEATURE_WAITPKG)
src/system/kernel/arch/x86/arch_debug.cpp
1419
if (x86_check_feature(IA32_FEATURE_WAITPKG, FEATURE_7_ECX))