tag	line	file	source code
check_tty_count	351	drivers/char/tty_io.c	check_tty_count(tty, "do_tty_hangup");
check_tty_count	952	drivers/char/tty_io.c	check_tty_count(tty, "release_dev");
check_tty_count	1153	drivers/char/tty_io.c	check_tty_count(tty, "tty_open");