tag	line	file	source code
isdn_net_rm	1107	drivers/isdn/isdn_common.c	return isdn_net_rm(name);
isdn_net_rm	34	drivers/isdn/isdn_net.h	extern int           isdn_net_rm(char *);