Searched refs:ctdname (Results 1 – 2 of 2) sorted by relevance
39 ctdname=`echo $devname | /bin/sed "s#/dev/rdsk/##" | /bin/sed "s#p0##"`41 echo "$grubdisk $ctdname $diskpath" >> "$GRUBDISKMAP"
5003 char *ctdname = strstr(osdev, "dsk/"); local5007 INJECT_ERROR1("GRUBROOT_INVALID_OSDEV", ctdname = NULL);5008 if (ctdname == NULL) {5019 ctdname += strlen("dsk/");5020 slice = strrchr(ctdname, 's');5037 if (devname && strcmp(devname, ctdname) == 0) {