tag	line	file	source code
isdn_state_table	828	drivers/isdn/pcbit/drv.c	extern char * isdn_state_table[];
isdn_state_table	839	drivers/isdn/pcbit/drv.c	isdn_state_table[i], strisdnevent(ev), isdn_state_table[f]
isdn_state_table	51	drivers/isdn/pcbit/edss1.c	char * isdn_state_table[] = {