taglinefilesource code
release_dev1530drivers/char/tty_io.crelease_dev(minor, filp);
release_dev1569drivers/char/tty_io.crelease_dev(dev, filp);