tag	line	file	source code
isdn_net_revision	66	drivers/isdn/isdn_common.c	extern char *isdn_net_revision;
isdn_net_revision	1834	drivers/isdn/isdn_common.c	isdn_getrev(isdn_net_revision),
isdn_net_revision	73	drivers/isdn/isdn_net.c	char *isdn_net_revision = "$Revision: 1.4 $";