TERMINAL_KEYBOARD_CODING 10687 src/coding.c     setup_coding_system (coding_system, TERMINAL_KEYBOARD_CODING (t));
TERMINAL_KEYBOARD_CODING 10689 src/coding.c     TERMINAL_KEYBOARD_CODING (t)->common_flags
TERMINAL_KEYBOARD_CODING 10699 src/coding.c     return CODING_ID_NAME (TERMINAL_KEYBOARD_CODING
TERMINAL_KEYBOARD_CODING 2359 src/keyboard.c 	    && (TERMINAL_KEYBOARD_CODING (terminal)->common_flags
TERMINAL_KEYBOARD_CODING 2371 src/keyboard.c 		= TERMINAL_KEYBOARD_CODING (terminal);
TERMINAL_KEYBOARD_CODING 2278 test/manual/etags/c-src/emacs/src/keyboard.c 	    && (TERMINAL_KEYBOARD_CODING (terminal)->common_flags
TERMINAL_KEYBOARD_CODING 2290 test/manual/etags/c-src/emacs/src/keyboard.c 		= TERMINAL_KEYBOARD_CODING (terminal);