smbios_ipmi_info
smbios_walk_table(table, header->number_structures, smbios_ipmi_info,
static void smbios_ipmi_info(struct smbios_structure_header *, void *);