tag	line	file	source code
release_dev	1388	drivers/char/tty_io.c	release_dev(minor, filp);
release_dev	1422	drivers/char/tty_io.c	release_dev(dev, filp);