printk(KERN_INFO "tvaudio: TV audio decoder + audio/video mux driver\n"); printk(KERN_INFO "tvaudio: known chips: "); for (desc = chiplist; desc->name != NULL; desc++) printk("%s%s", (desc == chiplist) ? "" : ",",desc->name); printk("\n"); 
 if (debug) { printk(KERN_INFO "tvaudio: TV audio decoder + audio/video mux driver\n"); printk(KERN_INFO "tvaudio: known chips: "); for (desc = chiplist; desc->name != NULL; desc++) printk("%s%s", (desc == chiplist) ? "" : ", ", desc->name); printk("\n"); } 
static int __init audiochip_init_module(void){	struct CHIPDESC  *desc;	printk(KERN_INFO "tvaudio: TV audio decoder + audio/video mux driver\n");	printk(KERN_INFO "tvaudio: known chips: ");	for (desc = chiplist; desc->name != NULL; desc++)		printk("%s%s", (desc == chiplist) ? "" : ",",desc->name);	printk("\n");	return i2c_add_driver(&driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/18fc59e230bbda9725736f8f526ef88aab212348/tvaudio.c/buggy/drivers/media/video/tvaudio.c