591 single(const char *cmd, char *ttyn)  in single()  argument
596 	if (ttyn == NULL)  in single()
597 		ttyn = findttyname(STDIN_FILENO);  in single()
603 	ttyn = stripttyname(ttyn);  in single()
607 		if (strcmp(u->ut_line, ttyn) == 0) {  in single()
625 		(void) strcpy(entryx.ut_line, ttyn);  in single()
701 	char	*ttyn = ttyname(fd);  in findttyname()  local
703 	if (ttyn == NULL)  in findttyname()
704 		ttyn = "/dev/???";  in findttyname()
710 		if (((strcmp(ttyn, "/dev/syscon") == 0) ||  in findttyname()
711 		    (strcmp(ttyn, "/dev/systty") == 0)) &&  in findttyname()
713 			ttyn = "/dev/console";  in findttyname()
715 	return (ttyn);  in findttyname()
719 stripttyname(char *ttyn)  in stripttyname()  argument
722 	if (strncmp(ttyn, "/dev/", sizeof ("/dev/") -1) == 0)  in stripttyname()
723 		return (ttyn + sizeof ("/dev/") - 1);  in stripttyname()
725 		return (ttyn);  in stripttyname()