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