int smm_found = 0; 
static int __init i8k_probe(void){	char buff[4];	int version;	int smm_found = 0;	/*	 * Get DMI information	 */	if (i8k_dmi_probe() != 0) {		printk(KERN_INFO "i8k: vendor=%s, model=%s, version=%s\n",		       system_vendor, product_name, bios_version);	}	/*	 * Get SMM Dell signature	 */	if (i8k_get_dell_signature() != 0) {		printk(KERN_INFO "i8k: unable to get SMM Dell signature\n");	} else {		smm_found = 1;	}	/*	 * Get SMM BIOS version.	 */	version = i8k_get_bios_version();	if (version <= 0) {		printk(KERN_INFO "i8k: unable to get SMM BIOS version\n");	} else {		smm_found = 1;		buff[0] = (version >> 16) & 0xff;		buff[1] = (version >> 8) & 0xff;		buff[2] = (version) & 0xff;		buff[3] = '\0';		/*		 * If DMI BIOS version is unknown use SMM BIOS version.		 */		if (bios_version[0] == '?') {			strcpy(bios_version, buff);		}		/*		 * Check if the two versions match.		 */		if (strncmp(buff, bios_version, sizeof(bios_version)) != 0) {			printk(KERN_INFO			       "i8k: BIOS version mismatch: %s != %s\n", buff,			       bios_version);		}	}	if (!smm_found && !force) {		return -ENODEV;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e70c9d5e61c6cb2272c866fc1303e62975006752/i8k.c/clean/drivers/char/i8k.c