acpi_wait_for_acpi_ipmi
EXPORT_SYMBOL_GPL(acpi_wait_for_acpi_ipmi);
if (ipi_device && acpi_wait_for_acpi_ipmi())
int acpi_wait_for_acpi_ipmi(void);