Searched refs:efi_loaded_image_t (Results 1 – 9 of 9) sorted by relevance
21 efi_loaded_image_t *image, in handle_kernel_image()39 efi_loaded_image_t *image) in kernel_entry_address()
42 efi_loaded_image_t *image) in kernel_entry_address()47 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel()
4 efi_loaded_image_t *image);
30 efi_loaded_image_t *image, in handle_kernel_image()
21 efi_loaded_image_t *image, in handle_kernel_image()
224 efi_loaded_image_t *image, in allocate_new_fdt_and_exit_boot()344 efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image, in efi_boot_kernel()
33 efi_loaded_image_t *image; in efi_pe_entry()
83 efi_loaded_image_t *image, in handle_kernel_image()
69 efi_loaded_image_t *image; in efi_zboot_entry()