tag	line	file	source code
isdn_tty_revision	67	drivers/isdn/isdn_common.c	extern char *isdn_tty_revision;
isdn_tty_revision	1833	drivers/isdn/isdn_common.c	isdn_getrev(isdn_tty_revision),
isdn_tty_revision	52	drivers/isdn/isdn_tty.c	char *isdn_tty_revision        = "$Revision: 1.3 $";