Symbol: tty_update_time
drivers/tty/tty_io.c
1027
tty_update_time(tty, true);
drivers/tty/tty_io.c
926
tty_update_time(tty, false);