Lines Matching defs:Devtty
142 FILE *Devtty;
387 Devtty = fopen("/dev/tty", "r");
388 if ((Devtty == NULL) && !isatty(0))
389 Devtty = stdin;
859 fgets(ans, 10, Devtty);
876 fgets(ans, 10, Devtty);
1302 fgets(resp, 10, Devtty);
1313 fgets(resp, 10, Devtty);
1506 fgets(nam_buf, 20, Devtty);
1534 fgets(vol_tmp, 10, Devtty);