acpi_processor_ffh_play_dead
void __noreturn acpi_processor_ffh_play_dead(struct acpi_processor_cx *cx)
static inline void __noreturn acpi_processor_ffh_play_dead(struct acpi_processor_cx *cx)