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