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));