tainted |= TAINT_PROPRIETARY_MODULE; 
add_taint(TAINT_PROPRIETARY_MODULE); 
static void set_license(struct module *mod, const char *license){	if (!license)		license = "unspecified";	mod->license_gplok = license_is_gpl_compatible(license);	if (!mod->license_gplok && !(tainted & TAINT_PROPRIETARY_MODULE)) {		printk(KERN_WARNING "%s: module license '%s' taints kernel.\n",		       mod->name, license);		tainted |= TAINT_PROPRIETARY_MODULE;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9f1583339a6f52c0c26441d39a0deff8246800f7/module.c/buggy/kernel/module.c