acpi_processor_ffh_play_dead
EXPORT_SYMBOL_GPL(acpi_processor_ffh_play_dead);
acpi_processor_ffh_play_dead(cx);
void __noreturn acpi_processor_ffh_play_dead(struct acpi_processor_cx *cx);
NORETURN(acpi_processor_ffh_play_dead)