39 static int dev2bios(char *devname, unsigned int unit, int *biosdev);
43 dev2bios(char *devname, unsigned int unit, int *biosdev)  in dev2bios()  argument
46 	if (strcmp(devname, devname_hd) == 0) {  in dev2bios()
49 	} else if (strcmp(devname, devname_mmcd) == 0) {  in dev2bios()
82 	char *fsname, *devname;  in devopen()  local
91 	if ((error = parsebootfile(fname, &fsname, &devname, &unit, &partition,  in devopen()
97 	printf("devopen: devname = %s\n", devname);  in devopen()
99 	dev = devlookup(devname);  in devopen()
116 	if (dev2bios(devname, unit, &biosdev) == 0) {  in devopen()
120 		return unixopen(f, devname, unit, partition, *file);  in devopen()
126 	if ((error = (*dp->dv_open)(f, devname, unit, partition, *file)) == 0) {  in devopen()