IDLE_HALT         768 arch/x86/kernel/process.c 		boot_option_idle_override = IDLE_HALT;
IDLE_HALT          64 drivers/acpi/processor_idle.c 		boot_option_idle_override == IDLE_HALT;