if (strncmp(system_vendor,DELL_SIGNATURE,strlen(DELL_SIGNATURE)) != 0) { printk(KERN_INFO "i8k: not running on a Dell system\n"); return -ENODEV; } 
if (strncmp(system_vendor, DELL_SIGNATURE, strlen(DELL_SIGNATURE)) != 0) { printk(KERN_INFO "i8k: not running on a Dell system\n"); return -ENODEV; } 
static int __init i8k_dmi_probe(void){    char **p;    if (dmi_iterate(dmi_decode) != 0) {	printk(KERN_INFO "i8k: unable to get DMI information\n");	return -ENODEV;    }    if (strncmp(system_vendor,DELL_SIGNATURE,strlen(DELL_SIGNATURE)) != 0) {	printk(KERN_INFO "i8k: not running on a Dell system\n");	return -ENODEV;    }    for (p=supported_models; ; p++) {	if (!*p) {	    printk(KERN_INFO "i8k: unsupported model: %s\n", product_name);	    return -ENODEV;	}	if (strncmp(product_name,*p,strlen(*p)) == 0) {	    break;	}    }    return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dec63ec32ea486ab915138e8790084c22a3f7bf6/i8k.c/clean/drivers/char/i8k.c