force_cpei_retarget  203 arch/ia64/kernel/acpi.c 	extern unsigned int force_cpei_retarget;
force_cpei_retarget  211 arch/ia64/kernel/acpi.c 		if (acpi_cpei_override || force_cpei_retarget)
force_cpei_retarget  144 arch/ia64/kernel/smpboot.c unsigned int force_cpei_retarget = CPEI_OVERRIDE_DEFAULT;
force_cpei_retarget  152 arch/ia64/kernel/smpboot.c 	force_cpei_retarget = value;