3 awk -v 'objtype='$objtype '
19 collect && $0 ~ /[^ \t]+/{
21 obj["dev" $1 "'.$O'"]++;
24 for(i = 2; i <= NF; i++){
34 else if($1 ~ "misc" || $1 ~ "link" || $1 ~ "ip")
43 if((objtype ~ "386" || objtype ~ "amd64") && obj["pci" "'.$O'"])
44 x = x "bios32'.$O' \n";