efi_loaded_image_t
efi_loaded_image_t *image,
efi_loaded_image_t *image,
efi_loaded_image_t *image;
char *efi_convert_cmdline(efi_loaded_image_t *image)
efi_status_t efi_load_initrd_cmdline(efi_loaded_image_t *image,
efi_status_t efi_load_initrd(efi_loaded_image_t *image,
efi_status_t efi_handle_cmdline(efi_loaded_image_t *image, char **cmdline_ptr)
efi_loaded_image_t *image,
efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,
char *efi_convert_cmdline(efi_loaded_image_t *image);
efi_status_t handle_cmdline_files(efi_loaded_image_t *image,
static inline efi_status_t efi_load_dtb(efi_loaded_image_t *image,
efi_status_t efi_load_initrd(efi_loaded_image_t *image,
efi_loaded_image_t *image,
efi_loaded_image_t *image,
efi_status_t efi_handle_cmdline(efi_loaded_image_t *image, char **cmdline_ptr);
efi_loaded_image_t *image,
efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,
efi_status_t handle_cmdline_files(efi_loaded_image_t *image,
static efi_status_t efi_open_volume(efi_loaded_image_t *image,
efi_loaded_image_t *image,
efi_loaded_image_t *image)
efi_loaded_image_t *image);
efi_loaded_image_t *image)
efi_status_t efi_boot_kernel(void *handle, efi_loaded_image_t *image,
efi_loaded_image_t *image,
static efi_loaded_image_t *image = NULL;
efi_loaded_image_t *image;