Searched refs:efi_loaded_image_t (Results 1 – 6 of 6) sorted by relevance
84 efi_loaded_image_t *image);94 efi_loaded_image_t *image; in efi_entry()
53 efi_loaded_image_t *image) in handle_kernel_image()
417 efi_loaded_image_t *image, in efi_open_volume()503 efi_loaded_image_t *image, in handle_cmdline_files()806 efi_loaded_image_t *image, in efi_convert_cmdline()
200 efi_loaded_image_t *image) in handle_kernel_image()
387 efi_loaded_image_t *image; in make_boot_params()735 efi_loaded_image_t *image; in efi_main()
837 } efi_loaded_image_t; typedef1534 efi_loaded_image_t *image, int *cmd_line_len);1555 efi_loaded_image_t *image,
