227 check_and_unmount_vold(char *device_name, int32_t flag)  in check_and_unmount_vold()  argument
238 	DPRINTF1("Device name %s\n", device_name);  in check_and_unmount_vold()
244 	if ((nm = volmgt_symname(device_name)) == NULL) {  in check_and_unmount_vold()
246 		real_name = media_findname(device_name);  in check_and_unmount_vold()
342 check_and_unmount_scsi(char *device_name, int32_t flag)  in check_and_unmount_scsi()  argument
358 	if (strncmp(device_name, "/dev/rdsk/c", strlen("/dev/rdsk/c")) != 0)  in check_and_unmount_scsi()
362 	    &device_name[strlen("/dev/r")]);  in check_and_unmount_scsi()
388 	    &device_name[strlen("/dev/r")]);  in check_and_unmount_scsi()
582 my_open(char *device_name, int32_t flags)  in my_open()  argument
594 	DPRINTF1("Device name %s\n", device_name);  in my_open()
596 	if ((nm = volmgt_symname(device_name)) == NULL) {  in my_open()
598 		real_name = media_findname(device_name);  in my_open()