tag	line	file	source code
disassociate_ctty	1367	drivers/char/tty_io.c	disassociate_ctty(0);
disassociate_ctty	309	include/linux/tty.h	extern void disassociate_ctty(int priv);
disassociate_ctty	446	kernel/exit.c	disassociate_ctty(1);