TERMINAL_KEYBOARD_CODING 10713 src/coding.c     setup_coding_system (coding_system, TERMINAL_KEYBOARD_CODING (t));
TERMINAL_KEYBOARD_CODING 10715 src/coding.c     TERMINAL_KEYBOARD_CODING (t)->common_flags
TERMINAL_KEYBOARD_CODING 10725 src/coding.c     return CODING_ID_NAME (TERMINAL_KEYBOARD_CODING
TERMINAL_KEYBOARD_CODING 2389 src/keyboard.c 	    && (TERMINAL_KEYBOARD_CODING (terminal)->common_flags
TERMINAL_KEYBOARD_CODING 2401 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);