Lines Matching full:ipmi
46 #include <ipmi.h>
49 #include <sys/ipmi.h>
50 #include <dev/ipmi/ipmivars.h>
66 /* Fields in the base_address field of an IPMI entry. */
70 /* Fields in the base_address_modifier field of an IPMI entry. */
83 MTX_SYSINIT(ipmi_info, &ipmi_info_mtx, "ipmi info", MTX_DEF);
136 printf("SMBIOS: Non-ISA IRQ %d for IPMI\n",
145 * Walk the SMBIOS table looking for an IPMI (type 38) entry. If we find
192 /* Now map the actual table and walk it looking for an IPMI entry. */
204 * Return the SMBIOS IPMI table entry info to the caller. If we haven't
205 * searched the IPMI table yet, search it. Otherwise, return a cached
226 msleep(&ipmi_info, &ipmi_info_mtx, 0, "ipmi info", 0);