Searched refs:device_map_file (Results 1 – 4 of 4) sorted by relevance
47 char *device_map_file = 0; variable233 device_map_file = strdup (optarg); in main()
158 if (! init_device_map (&device_map, device_map_file, floppy_disks)) in grub_stage2()
583 extern char *device_map_file;
5852 * grub/main.c (device_map_file): Set to 0.6450 * grub/main.c (device_map_file): New variable.6458 * stage2/shared.h [GRUB_UTIL] (device_map_file): Declared.