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", DEVICE_UNIT_ANY) == NULL) { in ipmi_isa_identify()
62 * XXX: Hack alert. On some broken systems, the IPMI in ipmi_isa_identify()
65 * the PCI device attach ipmi instead. In that case don't in ipmi_isa_identify()
66 * create an isa ipmi device. For now we hardcode the list in ipmi_isa_identify()
73 BUS_ADD_CHILD(parent, 0, "ipmi", DEVICE_UNIT_ANY); in ipmi_isa_identify()
93 device_set_desc(dev, "IPMI System Interface"); in ipmi_isa_probe()
284 "ipmi",