Searched refs:ipmi_ids (Results 1 – 1 of 1) sorted by relevance
60 static char *ipmi_ids[] = {"IPI0001", NULL}; in ipmi_acpi_probe() local68 rv = ACPI_ID_PROBE(device_get_parent(dev), dev, ipmi_ids, NULL); in ipmi_acpi_probe()