tty_flush_works 1583 drivers/tty/tty_io.c tty_flush_works(tty); tty_flush_works 1615 drivers/tty/tty_io.c tty_flush_works(tty);