taglinefilesource code
release_dev1375drivers/char/tty_io.crelease_dev(minor, filp);
release_dev1414drivers/char/tty_io.crelease_dev(dev, filp);