efi_loader: simplify running helloworld.efi
[platform/kernel/u-boot.git] / cmd / bootefi.c
1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  *  EFI application loader
4  *
5  *  Copyright (c) 2016 Alexander Graf
6  */
7
8 #define LOG_CATEGORY LOGC_EFI
9
10 #include <common.h>
11 #include <charset.h>
12 #include <command.h>
13 #include <dm.h>
14 #include <efi_loader.h>
15 #include <efi_selftest.h>
16 #include <env.h>
17 #include <errno.h>
18 #include <image.h>
19 #include <log.h>
20 #include <malloc.h>
21 #include <linux/libfdt.h>
22 #include <linux/libfdt_env.h>
23 #include <mapmem.h>
24 #include <memalign.h>
25 #include <asm-generic/sections.h>
26 #include <linux/linkage.h>
27
28 DECLARE_GLOBAL_DATA_PTR;
29
30 static struct efi_device_path *bootefi_image_path;
31 static struct efi_device_path *bootefi_device_path;
32
33 /**
34  * efi_env_set_load_options() - set load options from environment variable
35  *
36  * @handle:             the image handle
37  * @env_var:            name of the environment variable
38  * @load_options:       pointer to load options (output)
39  * Return:              status code
40  */
41 static efi_status_t efi_env_set_load_options(efi_handle_t handle,
42                                              const char *env_var,
43                                              u16 **load_options)
44 {
45         const char *env = env_get(env_var);
46         size_t size;
47         u16 *pos;
48         efi_status_t ret;
49
50         *load_options = NULL;
51         if (!env)
52                 return EFI_SUCCESS;
53         size = sizeof(u16) * (utf8_utf16_strlen(env) + 1);
54         pos = calloc(size, 1);
55         if (!pos)
56                 return EFI_OUT_OF_RESOURCES;
57         *load_options = pos;
58         utf8_utf16_strcpy(&pos, env);
59         ret = efi_set_load_options(handle, size, *load_options);
60         if (ret != EFI_SUCCESS) {
61                 free(*load_options);
62                 *load_options = NULL;
63         }
64         return ret;
65 }
66
67 #if !CONFIG_IS_ENABLED(GENERATE_ACPI_TABLE)
68
69 /**
70  * copy_fdt() - Copy the device tree to a new location available to EFI
71  *
72  * The FDT is copied to a suitable location within the EFI memory map.
73  * Additional 12 KiB are added to the space in case the device tree needs to be
74  * expanded later with fdt_open_into().
75  *
76  * @fdtp:       On entry a pointer to the flattened device tree.
77  *              On exit a pointer to the copy of the flattened device tree.
78  *              FDT start
79  * Return:      status code
80  */
81 static efi_status_t copy_fdt(void **fdtp)
82 {
83         unsigned long fdt_ram_start = -1L, fdt_pages;
84         efi_status_t ret = 0;
85         void *fdt, *new_fdt;
86         u64 new_fdt_addr;
87         uint fdt_size;
88         int i;
89
90         for (i = 0; i < CONFIG_NR_DRAM_BANKS; i++) {
91                 u64 ram_start = gd->bd->bi_dram[i].start;
92                 u64 ram_size = gd->bd->bi_dram[i].size;
93
94                 if (!ram_size)
95                         continue;
96
97                 if (ram_start < fdt_ram_start)
98                         fdt_ram_start = ram_start;
99         }
100
101         /*
102          * Give us at least 12 KiB of breathing room in case the device tree
103          * needs to be expanded later.
104          */
105         fdt = *fdtp;
106         fdt_pages = efi_size_in_pages(fdt_totalsize(fdt) + 0x3000);
107         fdt_size = fdt_pages << EFI_PAGE_SHIFT;
108
109         /*
110          * Safe fdt location is at 127 MiB.
111          * On the sandbox convert from the sandbox address space.
112          */
113         new_fdt_addr = (uintptr_t)map_sysmem(fdt_ram_start + 0x7f00000 +
114                                              fdt_size, 0);
115         ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS,
116                                  EFI_ACPI_RECLAIM_MEMORY, fdt_pages,
117                                  &new_fdt_addr);
118         if (ret != EFI_SUCCESS) {
119                 /* If we can't put it there, put it somewhere */
120                 new_fdt_addr = (ulong)memalign(EFI_PAGE_SIZE, fdt_size);
121                 ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS,
122                                          EFI_ACPI_RECLAIM_MEMORY, fdt_pages,
123                                          &new_fdt_addr);
124                 if (ret != EFI_SUCCESS) {
125                         log_err("ERROR: Failed to reserve space for FDT\n");
126                         goto done;
127                 }
128         }
129         new_fdt = (void *)(uintptr_t)new_fdt_addr;
130         memcpy(new_fdt, fdt, fdt_totalsize(fdt));
131         fdt_set_totalsize(new_fdt, fdt_size);
132
133         *fdtp = (void *)(uintptr_t)new_fdt_addr;
134 done:
135         return ret;
136 }
137
138 /**
139  * efi_reserve_memory() - add reserved memory to memory map
140  *
141  * @addr:       start address of the reserved memory range
142  * @size:       size of the reserved memory range
143  * @nomap:      indicates that the memory range shall not be accessed by the
144  *              UEFI payload
145  */
146 static void efi_reserve_memory(u64 addr, u64 size, bool nomap)
147 {
148         int type;
149         efi_uintn_t ret;
150
151         /* Convert from sandbox address space. */
152         addr = (uintptr_t)map_sysmem(addr, 0);
153
154         if (nomap)
155                 type = EFI_RESERVED_MEMORY_TYPE;
156         else
157                 type = EFI_BOOT_SERVICES_DATA;
158
159         ret = efi_add_memory_map(addr, size, type);
160         if (ret != EFI_SUCCESS)
161                 log_err("Reserved memory mapping failed addr %llx size %llx\n",
162                         addr, size);
163 }
164
165 /**
166  * efi_carve_out_dt_rsv() - Carve out DT reserved memory ranges
167  *
168  * The mem_rsv entries of the FDT are added to the memory map. Any failures are
169  * ignored because this is not critical and we would rather continue to try to
170  * boot.
171  *
172  * @fdt: Pointer to device tree
173  */
174 static void efi_carve_out_dt_rsv(void *fdt)
175 {
176         int nr_rsv, i;
177         u64 addr, size;
178         int nodeoffset, subnode;
179
180         nr_rsv = fdt_num_mem_rsv(fdt);
181
182         /* Look for an existing entry and add it to the efi mem map. */
183         for (i = 0; i < nr_rsv; i++) {
184                 if (fdt_get_mem_rsv(fdt, i, &addr, &size) != 0)
185                         continue;
186                 efi_reserve_memory(addr, size, false);
187         }
188
189         /* process reserved-memory */
190         nodeoffset = fdt_subnode_offset(fdt, 0, "reserved-memory");
191         if (nodeoffset >= 0) {
192                 subnode = fdt_first_subnode(fdt, nodeoffset);
193                 while (subnode >= 0) {
194                         fdt_addr_t fdt_addr;
195                         fdt_size_t fdt_size;
196
197                         /* check if this subnode has a reg property */
198                         fdt_addr = fdtdec_get_addr_size_auto_parent(
199                                                 fdt, nodeoffset, subnode,
200                                                 "reg", 0, &fdt_size, false);
201                         /*
202                          * The /reserved-memory node may have children with
203                          * a size instead of a reg property.
204                          */
205                         if (fdt_addr != FDT_ADDR_T_NONE &&
206                             fdtdec_get_is_enabled(fdt, subnode)) {
207                                 bool nomap;
208
209                                 nomap = !!fdt_getprop(fdt, subnode, "no-map",
210                                                       NULL);
211                                 efi_reserve_memory(fdt_addr, fdt_size, nomap);
212                         }
213                         subnode = fdt_next_subnode(fdt, subnode);
214                 }
215         }
216 }
217
218 /**
219  * get_config_table() - get configuration table
220  *
221  * @guid:       GUID of the configuration table
222  * Return:      pointer to configuration table or NULL
223  */
224 static void *get_config_table(const efi_guid_t *guid)
225 {
226         size_t i;
227
228         for (i = 0; i < systab.nr_tables; i++) {
229                 if (!guidcmp(guid, &systab.tables[i].guid))
230                         return systab.tables[i].table;
231         }
232         return NULL;
233 }
234
235 #endif /* !CONFIG_IS_ENABLED(GENERATE_ACPI_TABLE) */
236
237 /**
238  * efi_install_fdt() - install device tree
239  *
240  * If fdt is not EFI_FDT_USE_INTERNAL, the device tree located at that memory
241  * address will will be installed as configuration table, otherwise the device
242  * tree located at the address indicated by environment variable fdt_addr or as
243  * fallback fdtcontroladdr will be used.
244  *
245  * On architectures using ACPI tables device trees shall not be installed as
246  * configuration table.
247  *
248  * @fdt:        address of device tree or EFI_FDT_USE_INTERNAL to use the
249  *              the hardware device tree as indicated by environment variable
250  *              fdt_addr or as fallback the internal device tree as indicated by
251  *              the environment variable fdtcontroladdr
252  * Return:      status code
253  */
254 efi_status_t efi_install_fdt(void *fdt)
255 {
256         /*
257          * The EBBR spec requires that we have either an FDT or an ACPI table
258          * but not both.
259          */
260 #if CONFIG_IS_ENABLED(GENERATE_ACPI_TABLE)
261         if (fdt) {
262                 log_err("ERROR: can't have ACPI table and device tree.\n");
263                 return EFI_LOAD_ERROR;
264         }
265 #else
266         bootm_headers_t img = { 0 };
267         efi_status_t ret;
268
269         if (fdt == EFI_FDT_USE_INTERNAL) {
270                 const char *fdt_opt;
271                 uintptr_t fdt_addr;
272
273                 /* Look for device tree that is already installed */
274                 if (get_config_table(&efi_guid_fdt))
275                         return EFI_SUCCESS;
276                 /* Check if there is a hardware device tree */
277                 fdt_opt = env_get("fdt_addr");
278                 /* Use our own device tree as fallback */
279                 if (!fdt_opt) {
280                         fdt_opt = env_get("fdtcontroladdr");
281                         if (!fdt_opt) {
282                                 log_err("ERROR: need device tree\n");
283                                 return EFI_NOT_FOUND;
284                         }
285                 }
286                 fdt_addr = simple_strtoul(fdt_opt, NULL, 16);
287                 if (!fdt_addr) {
288                         log_err("ERROR: invalid $fdt_addr or $fdtcontroladdr\n");
289                         return EFI_LOAD_ERROR;
290                 }
291                 fdt = map_sysmem(fdt_addr, 0);
292         }
293
294         /* Install device tree */
295         if (fdt_check_header(fdt)) {
296                 log_err("ERROR: invalid device tree\n");
297                 return EFI_LOAD_ERROR;
298         }
299
300         /* Prepare device tree for payload */
301         ret = copy_fdt(&fdt);
302         if (ret) {
303                 log_err("ERROR: out of memory\n");
304                 return EFI_OUT_OF_RESOURCES;
305         }
306
307         if (image_setup_libfdt(&img, fdt, 0, NULL)) {
308                 log_err("ERROR: failed to process device tree\n");
309                 return EFI_LOAD_ERROR;
310         }
311
312         /* Create memory reservations as indicated by the device tree */
313         efi_carve_out_dt_rsv(fdt);
314
315         /* Install device tree as UEFI table */
316         ret = efi_install_configuration_table(&efi_guid_fdt, fdt);
317         if (ret != EFI_SUCCESS) {
318                 log_err("ERROR: failed to install device tree\n");
319                 return ret;
320         }
321 #endif /* GENERATE_ACPI_TABLE */
322
323         return EFI_SUCCESS;
324 }
325
326 /**
327  * do_bootefi_exec() - execute EFI binary
328  *
329  * The image indicated by @handle is started. When it returns the allocated
330  * memory for the @load_options is freed.
331  *
332  * @handle:             handle of loaded image
333  * @load_options:       load options
334  * Return:              status code
335  *
336  * Load the EFI binary into a newly assigned memory unwinding the relocation
337  * information, install the loaded image protocol, and call the binary.
338  */
339 static efi_status_t do_bootefi_exec(efi_handle_t handle, void *load_options)
340 {
341         efi_status_t ret;
342         efi_uintn_t exit_data_size = 0;
343         u16 *exit_data = NULL;
344
345         /* Call our payload! */
346         ret = EFI_CALL(efi_start_image(handle, &exit_data_size, &exit_data));
347         if (ret != EFI_SUCCESS) {
348                 log_err("## Application failed, r = %lu\n",
349                         ret & ~EFI_ERROR_MASK);
350                 if (exit_data) {
351                         log_err("## %ls\n", exit_data);
352                         efi_free_pool(exit_data);
353                 }
354         }
355
356         efi_restore_gd();
357
358         free(load_options);
359
360         return ret;
361 }
362
363 /**
364  * do_efibootmgr() - execute EFI boot manager
365  *
366  * Return:      status code
367  */
368 static int do_efibootmgr(void)
369 {
370         efi_handle_t handle;
371         efi_status_t ret;
372         void *load_options;
373
374         ret = efi_bootmgr_load(&handle, &load_options);
375         if (ret != EFI_SUCCESS) {
376                 log_notice("EFI boot manager: Cannot load any image\n");
377                 return CMD_RET_FAILURE;
378         }
379
380         ret = do_bootefi_exec(handle, load_options);
381
382         if (ret != EFI_SUCCESS)
383                 return CMD_RET_FAILURE;
384
385         return CMD_RET_SUCCESS;
386 }
387
388 /**
389  * do_bootefi_image() - execute EFI binary
390  *
391  * Set up memory image for the binary to be loaded, prepare device path, and
392  * then call do_bootefi_exec() to execute it.
393  *
394  * @image_opt:  string of image start address
395  * Return:      status code
396  */
397 static int do_bootefi_image(const char *image_opt)
398 {
399         void *image_buf;
400         unsigned long addr, size;
401         const char *size_str;
402         efi_status_t ret;
403
404 #ifdef CONFIG_CMD_BOOTEFI_HELLO
405         if (!strcmp(image_opt, "hello")) {
406                 image_buf = __efi_helloworld_begin;
407                 size = __efi_helloworld_end - __efi_helloworld_begin;
408
409                 efi_free_pool(bootefi_device_path);
410                 efi_free_pool(bootefi_image_path);
411                 bootefi_device_path = NULL;
412                 bootefi_image_path = NULL;
413         } else
414 #endif
415         {
416                 size_str = env_get("filesize");
417                 if (size_str)
418                         size = simple_strtoul(size_str, NULL, 16);
419                 else
420                         size = 0;
421
422                 addr = simple_strtoul(image_opt, NULL, 16);
423                 /* Check that a numeric value was passed */
424                 if (!addr && *image_opt != '0')
425                         return CMD_RET_USAGE;
426
427                 image_buf = map_sysmem(addr, size);
428         }
429         ret = efi_run_image(image_buf, size);
430
431         if (ret != EFI_SUCCESS)
432                 return CMD_RET_FAILURE;
433
434         return CMD_RET_SUCCESS;
435 }
436
437 /**
438  * efi_run_image() - run loaded UEFI image
439  *
440  * @source_buffer:      memory address of the UEFI image
441  * @source_size:        size of the UEFI image
442  * Return:              status code
443  */
444 efi_status_t efi_run_image(void *source_buffer, efi_uintn_t source_size)
445 {
446         efi_handle_t mem_handle = NULL, handle;
447         struct efi_device_path *file_path = NULL;
448         struct efi_device_path *msg_path;
449         efi_status_t ret;
450         u16 *load_options;
451
452         if (!bootefi_device_path || !bootefi_image_path) {
453                 /*
454                  * Special case for efi payload not loaded from disk,
455                  * such as 'bootefi hello' or for example payload
456                  * loaded directly into memory via JTAG, etc:
457                  */
458                 file_path = efi_dp_from_mem(EFI_RESERVED_MEMORY_TYPE,
459                                             (uintptr_t)source_buffer,
460                                             source_size);
461                 /*
462                  * Make sure that device for device_path exist
463                  * in load_image(). Otherwise, shell and grub will fail.
464                  */
465                 ret = efi_create_handle(&mem_handle);
466                 if (ret != EFI_SUCCESS)
467                         goto out;
468
469                 ret = efi_add_protocol(mem_handle, &efi_guid_device_path,
470                                        file_path);
471                 if (ret != EFI_SUCCESS)
472                         goto out;
473                 msg_path = file_path;
474         } else {
475                 file_path = efi_dp_append(bootefi_device_path,
476                                           bootefi_image_path);
477                 msg_path = bootefi_image_path;
478         }
479
480         log_info("Booting %pD\n", msg_path);
481
482         ret = EFI_CALL(efi_load_image(false, efi_root, file_path, source_buffer,
483                                       source_size, &handle));
484         if (ret != EFI_SUCCESS) {
485                 log_err("Loading image failed\n");
486                 goto out;
487         }
488
489         /* Transfer environment variable as load options */
490         ret = efi_env_set_load_options(handle, "bootargs", &load_options);
491         if (ret != EFI_SUCCESS)
492                 goto out;
493
494         ret = do_bootefi_exec(handle, load_options);
495
496 out:
497         efi_delete_handle(mem_handle);
498         efi_free_pool(file_path);
499         return ret;
500 }
501
502 #ifdef CONFIG_CMD_BOOTEFI_SELFTEST
503 static efi_status_t bootefi_run_prepare(const char *load_options_path,
504                 struct efi_device_path *device_path,
505                 struct efi_device_path *image_path,
506                 struct efi_loaded_image_obj **image_objp,
507                 struct efi_loaded_image **loaded_image_infop)
508 {
509         efi_status_t ret;
510         u16 *load_options;
511
512         ret = efi_setup_loaded_image(device_path, image_path, image_objp,
513                                      loaded_image_infop);
514         if (ret != EFI_SUCCESS)
515                 return ret;
516
517         /* Transfer environment variable as load options */
518         return efi_env_set_load_options((efi_handle_t)*image_objp,
519                                         load_options_path,
520                                         &load_options);
521 }
522
523 /**
524  * bootefi_test_prepare() - prepare to run an EFI test
525  *
526  * Prepare to run a test as if it were provided by a loaded image.
527  *
528  * @image_objp:         pointer to be set to the loaded image handle
529  * @loaded_image_infop: pointer to be set to the loaded image protocol
530  * @path:               dummy file path used to construct the device path
531  *                      set in the loaded image protocol
532  * @load_options_path:  name of a U-Boot environment variable. Its value is
533  *                      set as load options in the loaded image protocol.
534  * Return:              status code
535  */
536 static efi_status_t bootefi_test_prepare
537                 (struct efi_loaded_image_obj **image_objp,
538                  struct efi_loaded_image **loaded_image_infop, const char *path,
539                  const char *load_options_path)
540 {
541         efi_status_t ret;
542
543         /* Construct a dummy device path */
544         bootefi_device_path = efi_dp_from_mem(EFI_RESERVED_MEMORY_TYPE, 0, 0);
545         if (!bootefi_device_path)
546                 return EFI_OUT_OF_RESOURCES;
547
548         bootefi_image_path = efi_dp_from_file(NULL, 0, path);
549         if (!bootefi_image_path) {
550                 ret = EFI_OUT_OF_RESOURCES;
551                 goto failure;
552         }
553
554         ret = bootefi_run_prepare(load_options_path, bootefi_device_path,
555                                   bootefi_image_path, image_objp,
556                                   loaded_image_infop);
557         if (ret == EFI_SUCCESS)
558                 return ret;
559
560         efi_free_pool(bootefi_image_path);
561         bootefi_image_path = NULL;
562 failure:
563         efi_free_pool(bootefi_device_path);
564         bootefi_device_path = NULL;
565         return ret;
566 }
567
568 /**
569  * bootefi_run_finish() - finish up after running an EFI test
570  *
571  * @loaded_image_info: Pointer to a struct which holds the loaded image info
572  * @image_obj: Pointer to a struct which holds the loaded image object
573  */
574 static void bootefi_run_finish(struct efi_loaded_image_obj *image_obj,
575                                struct efi_loaded_image *loaded_image_info)
576 {
577         efi_restore_gd();
578         free(loaded_image_info->load_options);
579         efi_delete_handle(&image_obj->header);
580 }
581
582 /**
583  * do_efi_selftest() - execute EFI selftest
584  *
585  * Return:      status code
586  */
587 static int do_efi_selftest(void)
588 {
589         struct efi_loaded_image_obj *image_obj;
590         struct efi_loaded_image *loaded_image_info;
591         efi_status_t ret;
592
593         ret = bootefi_test_prepare(&image_obj, &loaded_image_info,
594                                    "\\selftest", "efi_selftest");
595         if (ret != EFI_SUCCESS)
596                 return CMD_RET_FAILURE;
597
598         /* Execute the test */
599         ret = EFI_CALL(efi_selftest(&image_obj->header, &systab));
600         bootefi_run_finish(image_obj, loaded_image_info);
601
602         return ret != EFI_SUCCESS;
603 }
604 #endif /* CONFIG_CMD_BOOTEFI_SELFTEST */
605
606 /**
607  * do_bootefi() - execute `bootefi` command
608  *
609  * @cmdtp:      table entry describing command
610  * @flag:       bitmap indicating how the command was invoked
611  * @argc:       number of arguments
612  * @argv:       command line arguments
613  * Return:      status code
614  */
615 static int do_bootefi(struct cmd_tbl *cmdtp, int flag, int argc,
616                       char *const argv[])
617 {
618         efi_status_t ret;
619         void *fdt;
620
621         if (argc < 2)
622                 return CMD_RET_USAGE;
623
624         /* Initialize EFI drivers */
625         ret = efi_init_obj_list();
626         if (ret != EFI_SUCCESS) {
627                 log_err("Error: Cannot initialize UEFI sub-system, r = %lu\n",
628                         ret & ~EFI_ERROR_MASK);
629                 return CMD_RET_FAILURE;
630         }
631
632         if (argc > 2) {
633                 uintptr_t fdt_addr;
634
635                 fdt_addr = simple_strtoul(argv[2], NULL, 16);
636                 fdt = map_sysmem(fdt_addr, 0);
637         } else {
638                 fdt = EFI_FDT_USE_INTERNAL;
639         }
640         ret = efi_install_fdt(fdt);
641         if (ret == EFI_INVALID_PARAMETER)
642                 return CMD_RET_USAGE;
643         else if (ret != EFI_SUCCESS)
644                 return CMD_RET_FAILURE;
645
646         if (!strcmp(argv[1], "bootmgr"))
647                 return do_efibootmgr();
648 #ifdef CONFIG_CMD_BOOTEFI_SELFTEST
649         else if (!strcmp(argv[1], "selftest"))
650                 return do_efi_selftest();
651 #endif
652
653         return do_bootefi_image(argv[1]);
654 }
655
656 #ifdef CONFIG_SYS_LONGHELP
657 static char bootefi_help_text[] =
658         "<image address> [fdt address]\n"
659         "  - boot EFI payload stored at address <image address>.\n"
660         "    If specified, the device tree located at <fdt address> gets\n"
661         "    exposed as EFI configuration table.\n"
662 #ifdef CONFIG_CMD_BOOTEFI_HELLO
663         "bootefi hello\n"
664         "  - boot a sample Hello World application stored within U-Boot\n"
665 #endif
666 #ifdef CONFIG_CMD_BOOTEFI_SELFTEST
667         "bootefi selftest [fdt address]\n"
668         "  - boot an EFI selftest application stored within U-Boot\n"
669         "    Use environment variable efi_selftest to select a single test.\n"
670         "    Use 'setenv efi_selftest list' to enumerate all tests.\n"
671 #endif
672         "bootefi bootmgr [fdt address]\n"
673         "  - load and boot EFI payload based on BootOrder/BootXXXX variables.\n"
674         "\n"
675         "    If specified, the device tree located at <fdt address> gets\n"
676         "    exposed as EFI configuration table.\n";
677 #endif
678
679 U_BOOT_CMD(
680         bootefi, 3, 0, do_bootefi,
681         "Boots an EFI payload from memory",
682         bootefi_help_text
683 );
684
685 /**
686  * efi_set_bootdev() - set boot device
687  *
688  * This function is called when a file is loaded, e.g. via the 'load' command.
689  * We use the path to this file to inform the UEFI binary about the boot device.
690  *
691  * @dev:        device, e.g. "MMC"
692  * @devnr:      number of the device, e.g. "1:2"
693  * @path:       path to file loaded
694  */
695 void efi_set_bootdev(const char *dev, const char *devnr, const char *path)
696 {
697         struct efi_device_path *device, *image;
698         efi_status_t ret;
699
700         /* efi_set_bootdev is typically called repeatedly, recover memory */
701         efi_free_pool(bootefi_device_path);
702         efi_free_pool(bootefi_image_path);
703
704         ret = efi_dp_from_name(dev, devnr, path, &device, &image);
705         if (ret == EFI_SUCCESS) {
706                 bootefi_device_path = device;
707                 if (image) {
708                         /* FIXME: image should not contain device */
709                         struct efi_device_path *image_tmp = image;
710
711                         efi_dp_split_file_path(image, &device, &image);
712                         efi_free_pool(image_tmp);
713                 }
714                 bootefi_image_path = image;
715         } else {
716                 bootefi_device_path = NULL;
717                 bootefi_image_path = NULL;
718         }
719 }