acpi_cpei_override   42 arch/ia64/kernel/acpi.c unsigned int acpi_cpei_override;
acpi_cpei_override  188 arch/ia64/kernel/acpi.c 		acpi_cpei_override = plintsrc->flags & ACPI_MADT_CPEI_OVERRIDE;
acpi_cpei_override  211 arch/ia64/kernel/acpi.c 		if (acpi_cpei_override || force_cpei_retarget)