oldmax            933 kern/tty_pty.c 	int error, oldmax;
oldmax            943 kern/tty_pty.c 		oldmax = maxptys;
oldmax            950 kern/tty_pty.c 			maxptys = oldmax;