Symbol: acpi_wait_for_acpi_ipmi
drivers/acpi/acpi_ipmi.c
586
int acpi_wait_for_acpi_ipmi(void)
include/acpi/acpi_bus.h
1004
static inline int acpi_wait_for_acpi_ipmi(void) { return 0; }