if (i8k_get_dell_signature() != 0) { 
if (i8k_get_dell_signature(I8K_SMM_GET_DELL_SIG1) && i8k_get_dell_signature(I8K_SMM_GET_DELL_SIG2)) { 
static int __init i8k_probe(void){	char buff[4];	int version;	/*	 * Get DMI information	 */	if (!dmi_check_system(i8k_dmi_table)) {		if (!ignore_dmi && !force)			return -ENODEV;		printk(KERN_INFO "i8k: not running on a supported Dell system.\n");		printk(KERN_INFO "i8k: vendor=%s, model=%s, version=%s\n",			i8k_get_dmi_data(DMI_SYS_VENDOR),			i8k_get_dmi_data(DMI_PRODUCT_NAME),			i8k_get_dmi_data(DMI_BIOS_VERSION));	}	strlcpy(bios_version, i8k_get_dmi_data(DMI_BIOS_VERSION), sizeof(bios_version));	/*	 * Get SMM Dell signature	 */	if (i8k_get_dell_signature() != 0) {		printk(KERN_ERR "i8k: unable to get SMM Dell signature\n");		if (!force)			return -ENODEV;	}	/*	 * Get SMM BIOS version.	 */	version = i8k_get_bios_version();	if (version <= 0) {		printk(KERN_WARNING "i8k: unable to get SMM BIOS version\n");	} else {		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 (!dmi_get_system_info(DMI_BIOS_VERSION))			strlcpy(bios_version, buff, sizeof(bios_version));		/*		 * Check if the two versions match.		 */		if (strncmp(buff, bios_version, sizeof(bios_version)) != 0)			printk(KERN_WARNING "i8k: BIOS version mismatch: %s != %s\n",				buff, bios_version);	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7e0fa31dbf5968ce1e94f73c04a9402170432ecf/i8k.c/clean/drivers/char/i8k.c