push_key_description  517 src/keyboard.c     ptr = push_key_description (XFIXNUM (c), ptr);
push_key_description 2330 src/keymap.c         char *p = push_key_description (XFIXNUM (key), tem);
push_key_description 2869 src/keymap.c   	    bufend = push_key_description (translate[c], buf);
push_key_description 2872 src/keymap.c   	    bufend = push_key_description (c, buf);
push_key_description   36 src/keymap.h   extern char *push_key_description (EMACS_INT, char *);
push_key_description  458 test/manual/etags/c-src/emacs/src/keyboard.c     ptr = push_key_description (XINT (c), ptr);