Searched refs:efi_loaded_image_t (Results 1 – 5 of 5) sorted by relevance
49 efi_loaded_image_t *image = __image; in efi_open_volume()161 efi_loaded_image_t *image);171 efi_loaded_image_t *image; in efi_entry()
359 efi_loaded_image_t *image, in handle_cmdline_files()658 efi_loaded_image_t *image, in efi_convert_cmdline()
22 efi_loaded_image_t *image) in handle_kernel_image()
735 } efi_loaded_image_t; typedef1223 efi_loaded_image_t *image, int *cmd_line_len);1248 efi_loaded_image_t *image,
1052 efi_loaded_image_t *image; in make_boot_params()1394 efi_loaded_image_t *image; in efi_main()