203 	efi_loaded_image_32_t *image = __image;  in __open_volume32()  local
207 	void *handle = (void *)(unsigned long)image->device_handle;  in __open_volume32()
229 	efi_loaded_image_64_t *image = __image;  in __open_volume64()  local
233 	void *handle = (void *)(unsigned long)image->device_handle;  in __open_volume64()
1052 	efi_loaded_image_t *image;  in make_boot_params()  local
1078 				&proto, (void *)&image);  in make_boot_params()
1099 	memcpy(&hdr->jump, image->image_base + 512, 512);  in make_boot_params()
1112 	cmdline_ptr = efi_convert_cmdline(sys_table, image, &options_size);  in make_boot_params()
1131 	status = handle_cmdline_files(sys_table, image,  in make_boot_params()
1139 		status = handle_cmdline_files(sys_table, image,  in make_boot_params()
1394 	efi_loaded_image_t *image;  in efi_main()  local