Home | History | Annotate | Download | only in grub

Lines Matching full:config_file_location

6728 	Use CONFIG_FILE_LOCATION to point to the location of the name of
6731 	the device information in CONFIG_FILE_LOCATION.