make_ctrl_char   2344 src/keyboard.c 	XSETINT (c, make_ctrl_char (XFIXNUM (c)));
make_ctrl_char   3704 src/keyboard.c 	c = make_ctrl_char (c);
make_ctrl_char   6025 src/keyboard.c 		c = make_ctrl_char (c);
make_ctrl_char   7559 src/keyboard.c 			    | make_ctrl_char (XFIXNUM (base)));
make_ctrl_char   3644 src/w32fns.c         c = make_ctrl_char (c) & 0377;
make_ctrl_char   2233 test/manual/etags/c-src/emacs/src/keyboard.c 	XSETINT (c, make_ctrl_char (XINT (c)));
make_ctrl_char   3564 test/manual/etags/c-src/emacs/src/keyboard.c 	c = make_ctrl_char (c);
make_ctrl_char   5505 test/manual/etags/c-src/emacs/src/keyboard.c 		c = make_ctrl_char (c);
make_ctrl_char   6681 test/manual/etags/c-src/emacs/src/keyboard.c 			    | make_ctrl_char (XINT (base)));