Symbol: IDLE_HALT
arch/x86/kernel/process.c
1007
boot_option_idle_override = IDLE_HALT;
drivers/acpi/processor_idle.c
72
boot_option_idle_override == IDLE_HALT;