Searched refs:core_path_dev (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-setup.c153 char *boot_path, *core_path, *core_path_dev, *core_path_dev_full; local
665 core_path_dev = grub_make_system_path_relative_to_its_root (core_path_dev_full);
676 core_path_dev);
681 file = grub_file_open (core_path_dev);
734 grub_util_error (_("cannot read `%s' correctly"), core_path_dev);
754 file = grub_file_open (core_path_dev);
798 free (core_path_dev);

Completed in 67 milliseconds