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"
5296 char *ctdname = strstr(osdev, "dsk/"); local5300 INJECT_ERROR1("GRUBROOT_INVALID_OSDEV", ctdname = NULL);5301 if (ctdname == NULL) {5312 ctdname += strlen("dsk/");5313 slice = strrchr(ctdname, 's');5330 if (devname && strcmp(devname, ctdname) == 0) {