gettty
static int gettty(void);
append(gettty, addr2);
append(gettty, addr1-1);
append(gettty, addr2-1);
tp = gettty(psinfo);
static char *gettty(psinfo_t *);
name = gettty(&info);
static char *gettty();
tp = gettty(psinfo);
int gettty();
(void) append(gettty, addr2);
if (append(gettty, addr1 - 1) == 0) {
(void) append(gettty, addr2 - 1);
if (f == gettty) {