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