Lines Matching refs:ipmi
51 #include <ipmi.h>
54 #include <sys/ipmi.h>
55 #include <dev/ipmi/ipmivars.h>
100 static SYSCTL_NODE(_hw, OID_AUTO, ipmi, CTLFLAG_RD | CTLFLAG_MPSAFE, 0,
125 .d_name = "ipmi",
128 static MALLOC_DEFINE(M_IPMI, "ipmi", "ipmi");
828 mtx_init(&sc->ipmi_requests_lock, "ipmi requests", NULL, MTX_DEF);
829 mtx_init(&sc->ipmi_io_lock, "ipmi io", NULL, MTX_DEF);
918 UID_ROOT, GID_OPERATOR, 0660, "ipmi%d", device_get_unit(dev));