push_char
1805 lib/tty/key.c if (!push_char (c))
push_char
1860 lib/tty/key.c push_char (c);