49 static FILE *info_input_stream = NULL;  variable
291   if (!info_input_stream)  in initialize_info_session()
294       info_input_stream = stdin;  in initialize_info_session()
312   if ((info_input_stream != (FILE *)NULL) &&  in info_set_input_from_file()
313       (info_input_stream != stdin))  in info_set_input_from_file()
314     fclose (info_input_stream);  in info_set_input_from_file()
316   info_input_stream = stream;  in info_set_input_from_file()
4571           FD_SET (fileno (info_input_stream), &readfds);  in info_get_another_input_char()
4574 …    ready = select (fileno(info_input_stream)+1, &readfds, (fd_set *)NULL, (fd_set *)NULL, &timer);  in info_get_another_input_char()
4908   tty = fileno (info_input_stream);  in info_gather_typeahead()
4990       int tty = fileno (info_input_stream);  in info_get_input_char()
5016           if (info_input_stream != stdin)  in info_get_input_char()
5018               fclose (info_input_stream);  in info_get_input_char()
5019               info_input_stream = stdin;  in info_get_input_char()
5020 	      tty = fileno (info_input_stream);  in info_get_input_char()