void __init HiSaxVersion(void) 
static void __init HiSaxVersion(void) 
void __init HiSaxVersion(void){	char tmp[64];	printk(KERN_INFO "HiSax: Linux Driver for passive ISDN cards\n");#ifdef MODULE	printk(KERN_INFO "HiSax: Version 3.5 (module)\n");#else	printk(KERN_INFO "HiSax: Version 3.5 (kernel)\n");#endif	strcpy(tmp, l1_revision);	printk(KERN_INFO "HiSax: Layer1 Revision %s\n", HiSax_getrev(tmp));	strcpy(tmp, l2_revision);	printk(KERN_INFO "HiSax: Layer2 Revision %s\n", HiSax_getrev(tmp));	strcpy(tmp, tei_revision);	printk(KERN_INFO "HiSax: TeiMgr Revision %s\n", HiSax_getrev(tmp));	strcpy(tmp, l3_revision);	printk(KERN_INFO "HiSax: Layer3 Revision %s\n", HiSax_getrev(tmp));	strcpy(tmp, lli_revision);	printk(KERN_INFO "HiSax: LinkLayer Revision %s\n",	       HiSax_getrev(tmp));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/672c3fd9069e5a138f9d4afc9aeb5aa34aacce32/config.c/buggy/drivers/isdn/hisax/config.c