tag	line	file	source code
isdn_tty_shutdown	1031	drivers/isdn/isdn_tty.c	isdn_tty_shutdown(info);
isdn_tty_shutdown	1074	drivers/isdn/isdn_tty.c	isdn_tty_shutdown(info);