efi_loaded_image_t 1244 include/linux/efi.h 			  efi_loaded_image_t *image, int *cmd_line_len);
efi_loaded_image_t 1269 include/linux/efi.h 				  efi_loaded_image_t *image,