Home
last modified time | relevance | path

Searched refs:cfg_file_name (Results 1 – 1 of 1) sorted by relevance

/xen/xen/common/efi/
A Dboot.c1148 CHAR16 **argv, *file_name, *cfg_file_name = NULL, *options = NULL; in efi_start() local
1203 cfg_file_name = ptr + 5; in efi_start()
1205 cfg_file_name = argv[++i]; in efi_start()
1253 if ( !cfg_file_name ) in efi_start()
1270 else if ( !read_file(dir_handle, cfg_file_name, &cfg, NULL) ) in efi_start()

Completed in 6 milliseconds