taglinefilesource code
release_dev1152drivers/char/tty_io.crelease_dev(filp);
release_dev1183drivers/char/tty_io.crelease_dev(filp);