Lines Matching full:ipmi
46 #include <ipmi.h>
49 #include <sys/ipmi.h>
50 #include <dev/ipmi/ipmivars.h>
60 device_find_child(parent, "ipmi", -1) == NULL) {
62 * XXX: Hack alert. On some broken systems, the IPMI
65 * the PCI device attach ipmi instead. In that case don't
66 * create an isa ipmi device. For now we hardcode the list
73 BUS_ADD_CHILD(parent, 0, "ipmi", DEVICE_UNIT_ANY);
93 device_set_desc(dev, "IPMI System Interface");
284 "ipmi",