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()
627 extern char *device_map_file;
6011 * grub/main.c (device_map_file): Set to 0.6609 * grub/main.c (device_map_file): New variable.6617 * stage2/shared.h [GRUB_UTIL] (device_map_file): Declared.