prom_stdinpath
return (prom_devname_from_pathname(prom_stdinpath(), buffer));
s = prom_stdinpath();
extern char *prom_stdinpath(void);
return (prom_stdinpath());
stdioname = prom_stdinpath();
extern char *prom_stdinpath(void);