Searched refs:diskno (Results 1 – 2 of 2) sorted by relevance
36 /sbin/biosdev 2> /dev/null | while read diskno diskpath40 grubdisk=`echo $diskno | /bin/sed "s/0x8//"`
2962 int diskno = 0; local2976 for (i = 0; i < diskno; i++) {2981 if (i != diskno)2984 (void) strcpy(arglist[diskno], *disklist);2985 diskno++;2987 arglist[diskno] = NULL;