dmi_printk(("Version: %s\n", dmi_string(dm, data[6]))); 
static void __init dmi_decode(struct dmi_header *dm){	u8 *data __attribute__((__unused__)) = (u8 *)dm;		switch(dm->type) {	case  0:		dmi_printk(("BIOS Vendor: %s\n", dmi_string(dm, data[4])));		dmi_save_ident(dm, DMI_BIOS_VENDOR, 4);		dmi_printk(("BIOS Version: %s\n", dmi_string(dm, data[5])));		dmi_save_ident(dm, DMI_BIOS_VERSION, 5);		dmi_printk(("BIOS Release: %s\n", dmi_string(dm, data[8])));		dmi_save_ident(dm, DMI_BIOS_DATE, 8);		break;	case 1:		dmi_printk(("System Vendor: %s\n", dmi_string(dm, data[4])));		dmi_save_ident(dm, DMI_SYS_VENDOR, 4);		dmi_printk(("Product Name: %s\n", dmi_string(dm, data[5])));		dmi_save_ident(dm, DMI_PRODUCT_NAME, 5);		dmi_printk(("Version: %s\n", dmi_string(dm, data[6])));		dmi_save_ident(dm, DMI_PRODUCT_VERSION, 6);		dmi_printk(("Serial Number: %s\n", dmi_string(dm, data[7])));		dmi_save_ident(dm, DMI_PRODUCT_SERIAL, 7);		break;	case 2:		dmi_printk(("Board Vendor: %s\n", dmi_string(dm, data[4])));		dmi_save_ident(dm, DMI_BOARD_VENDOR, 4);		dmi_printk(("Board Name: %s\n", dmi_string(dm, data[5])));		dmi_save_ident(dm, DMI_BOARD_NAME, 5);		dmi_printk(("Board Version: %s\n", dmi_string(dm, data[6])));		dmi_save_ident(dm, DMI_BOARD_VERSION, 6);		break;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4e70b9a3d68909ad7e79bf6e1b0dcec6de922a7c/dmi_scan.c/buggy/arch/i386/kernel/dmi_scan.c