dmi_ids_string     31 drivers/firmware/dmi_scan.c static char dmi_ids_string[128] __initdata;
dmi_ids_string    579 drivers/firmware/dmi_scan.c 			dmi_format_ids(dmi_ids_string, sizeof(dmi_ids_string));
dmi_ids_string    580 drivers/firmware/dmi_scan.c 			pr_info("DMI: %s\n", dmi_ids_string);
dmi_ids_string    607 drivers/firmware/dmi_scan.c 			dmi_format_ids(dmi_ids_string, sizeof(dmi_ids_string));
dmi_ids_string    608 drivers/firmware/dmi_scan.c 			pr_info("DMI: %s\n", dmi_ids_string);
dmi_ids_string    784 drivers/firmware/dmi_scan.c 	dump_stack_set_arch_desc("%s", dmi_ids_string);