Searched refs:diskno (Results 1 – 2 of 2) sorted by relevance
34 /sbin/biosdev 2> /dev/null | while read diskno diskpath38 grubdisk=`echo $diskno | /bin/sed "s/0x8//"`
2973 int diskno = 0; in check_for_duplicate_disknames() local2987 for (i = 0; i < diskno; i++) { in check_for_duplicate_disknames()2992 if (i != diskno) in check_for_duplicate_disknames()2995 (void) strcpy(arglist[diskno], *disklist); in check_for_duplicate_disknames()2996 diskno++; in check_for_duplicate_disknames()2998 arglist[diskno] = NULL; in check_for_duplicate_disknames()