dmi_format_ids 579 drivers/firmware/dmi_scan.c dmi_format_ids(dmi_ids_string, sizeof(dmi_ids_string)); dmi_format_ids 607 drivers/firmware/dmi_scan.c dmi_format_ids(dmi_ids_string, sizeof(dmi_ids_string));