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()
22 efi_loaded_image_t *image) in handle_kernel_image()
359 efi_loaded_image_t *image, in handle_cmdline_files()658 efi_loaded_image_t *image, in efi_convert_cmdline()
745 } efi_loaded_image_t; typedef1260 efi_loaded_image_t *image, int *cmd_line_len);1285 efi_loaded_image_t *image,
1067 efi_loaded_image_t *image; in make_boot_params()1410 efi_loaded_image_t *image; in efi_main()