Searched refs:efi_loaded_image_t (Results 1 – 6 of 6) sorted by relevance
106 efi_loaded_image_t *image);116 efi_loaded_image_t *image; in efi_entry()
49 efi_loaded_image_t *image) in handle_kernel_image()
196 efi_loaded_image_t *image) in handle_kernel_image()
414 efi_loaded_image_t *image, in efi_open_volume()505 efi_loaded_image_t *image, in handle_cmdline_files()809 efi_loaded_image_t *image, in efi_convert_cmdline()
859 } efi_loaded_image_t; typedef1577 efi_loaded_image_t *image, int *cmd_line_len);1612 efi_loaded_image_t *image,
387 efi_loaded_image_t *image; in make_boot_params()
