Lines Matching full:ipmi
48 #include <ipmi.h>
51 #include <sys/ipmi.h>
52 #include <dev/ipmi/ipmivars.h>
92 static SYSCTL_NODE(_hw, OID_AUTO, ipmi, CTLFLAG_RD | CTLFLAG_MPSAFE, 0,
93 "IPMI driver parameters");
100 "IPMI watchdog timer actions (including pre-timeout interrupt)");
103 "IPMI watchdog countdown for shutdown (seconds)");
106 "IPMI watchdog countdown initialized during startup (seconds)");
109 "IPMI watchdog pre-timeout countdown (seconds)");
112 "IPMI power cycle on reboot delay time (seconds)");
119 .d_name = "ipmi",
122 static MALLOC_DEFINE(M_IPMI, "ipmi", "ipmi");
804 device_printf(sc->ipmi_dev, "Power cycling using IPMI\n"); in ipmi_power_cycle()
808 * as described in IPMI v2.0 spec section 28.3. in ipmi_power_cycle()
817 device_printf(sc->ipmi_dev, "Power cycling via IPMI failed code %#x %#x\n", in ipmi_power_cycle()
828 device_printf(sc->ipmi_dev, "Power cycling via IPMI timed out\n"); in ipmi_power_cycle()
843 mtx_init(&sc->ipmi_requests_lock, "ipmi requests", NULL, MTX_DEF); in ipmi_startup()
844 mtx_init(&sc->ipmi_io_lock, "ipmi io", NULL, MTX_DEF); in ipmi_startup()
879 device_printf(dev, "IPMI device rev. %d, firmware rev. %d.%d%d, " in ipmi_startup()
934 UID_ROOT, GID_OPERATOR, 0660, "ipmi%d", device_get_unit(dev)); in ipmi_startup()
958 * Power cycle the system off using IPMI. We use last - 2 since we don't in ipmi_startup()
1071 if (devclass_get_devices(devclass_find("ipmi"), &devs, &count) != 0) in ipmi_unload()