Searched refs:ipmi_ids (Results 1 - 1 of 1) sorted by relevance
| /freebsd-current/sys/dev/ipmi/ | ||
| H A D | ipmi_acpi.c | 60 static char *ipmi_ids[] = {"IPI0001", NULL}; local 68 rv = ACPI_ID_PROBE(device_get_parent(dev), dev, ipmi_ids, NULL); |
Completed in 100 milliseconds