push_char        1843 lib/tty/key.c              if (!push_char (c))
push_char        1898 lib/tty/key.c          push_char (c);