prom_devname_from_pathname
return (prom_devname_from_pathname(prom_stdinpath(), buffer));
return (prom_devname_from_pathname(prom_stdoutpath(), buffer));
(void) prom_devname_from_pathname(bootdevicename, devname);
extern int prom_devname_from_pathname(char *path, char *buffer);
extern int prom_devname_from_pathname(char *path, char *buffer);