devpts_kill_index  754 drivers/tty/pty.c 		devpts_kill_index(fsi, tty->index);
devpts_kill_index  884 drivers/tty/pty.c 	devpts_kill_index(fsi, index);
devpts_kill_index   24 include/linux/devpts_fs.h void devpts_kill_index(struct pts_fs_info *, int);