dev/ipmi/ipmi_smbios.c

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",  in smbios_ipmi_info()
145  * Walk the SMBIOS table looking for an IPMI (type 38) entry.  If we find
191 	/* Now map the actual table and walk it looking for an IPMI entry. */  in ipmi_smbios_probe()
203  * Return the SMBIOS IPMI table entry info to the caller.  If we haven't
204  * searched the IPMI table yet, search it.  Otherwise, return a cached
225 			msleep(&ipmi_info, &ipmi_info_mtx, 0, "ipmi info", 0);  in ipmi_smbios_identify()