tag	line	file	source code
isdn_cards_init	27	drivers/isdn/isdn_cards.h	extern void isdn_cards_init(void);
isdn_cards_init	1917	drivers/isdn/isdn_common.c	isdn_cards_init();