CPEI_OVERRIDE_DEFAULT  139 arch/ia64/kernel/smpboot.c #define CPEI_OVERRIDE_DEFAULT	(1)
CPEI_OVERRIDE_DEFAULT  141 arch/ia64/kernel/smpboot.c #define CPEI_OVERRIDE_DEFAULT	(0)