Lines Matching refs:map
72 --recheck probe a device map even if it already exists
294 device_map=${grubdir}/device.map
327 # If --recheck is specified, remove the device map, if present.
332 # Create the device map file if it is not present.
339 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
354 echo "The drive $tmp is defined multiple times in the device map $device_map" 1>&2
429 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
454 $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
467 # Prompt the user to check if the device map is correct.
469 echo "This is the contents of the device map $device_map."