Searched refs:ctdname (Results 1 – 2 of 2) sorted by relevance
37 ctdname=`echo $devname | /bin/sed "s#/dev/rdsk/##" | /bin/sed "s#p0##"`39 echo "$grubdisk $ctdname $diskpath" >> "$GRUBDISKMAP"
5669 char *ctdname = strstr(osdev, "dsk/"); local5673 INJECT_ERROR1("GRUBROOT_INVALID_OSDEV", ctdname = NULL);5674 if (ctdname == NULL) {5686 ctdname += strlen("dsk/");5687 slice = strrchr(ctdname, 's');5705 if (devname && strcmp(devname, ctdname) == 0) {