98 write_data(char *volatile input_data, int *stdin_pipe, int *stdout_pipe)  in write_data()  argument
100 	FILE *out = fdopen(stdin_pipe[WRITE_PIPE], "w");  in write_data()
311 exec_user_command(entry *e, char **envp, char *usernm, int *stdin_pipe,  in exec_user_command()  argument
352 		(void)close(stdin_pipe[WRITE_PIPE]);  in exec_user_command()
358 		if (stdin_pipe[READ_PIPE] != STDIN) {  in exec_user_command()
359 			(void)dup2(stdin_pipe[READ_PIPE], STDIN);  in exec_user_command()
360 			(void)close(stdin_pipe[READ_PIPE]);  in exec_user_command()
489 	int stdin_pipe[2], stdout_pipe[2];  in child_process()  local
517 	if (pipe(stdin_pipe) == -1) 	/* child's stdin */  in child_process()
579 	if (exec_user_command(e, envp, usernm, stdin_pipe, stdout_pipe,  in child_process()
595 	(void)close(stdin_pipe[READ_PIPE]);  in child_process()
612 			write_data(input_data, stdin_pipe, stdout_pipe);  in child_process()
625 	(void)close(stdin_pipe[WRITE_PIPE]);  in child_process()