/* * 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'; 
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/dec63ec32ea486ab915138e8790084c22a3f7bf6/i8k.c/clean/drivers/char/i8k.c