2  *  EFI application loader
28 /* Initialize and populate EFI object list */
47 	/* Initialize EFI runtime services */  in efi_init_obj_list()
121  * Load an EFI payload into a newly allocated piece of memory, register all
122  * EFI objects it would want to access and jump to it.
124 static unsigned long do_bootefi_exec(void *efi, void *fdt,  in do_bootefi_exec()  argument
138 	/* Initialize and populate EFI object list */  in do_bootefi_exec()
160 		/* Link to it in the efi tables */  in do_bootefi_exec()
177 	/* Load the EFI payload */  in do_bootefi_exec()
178 	entry = efi_load_pe(efi, &loaded_image_info);  in do_bootefi_exec()
204 		/* Should never reach here, efi exits with longjmp */  in do_bootefi_exec()
219 /* Interpreter command to boot an arbitrary EFI image from memory */
251 	printf("## Starting EFI application at %08lx ...\n", addr);  in do_bootefi()
266 	"  - boot EFI payload stored at address <image address>.\n"
268 	"    exposed as EFI configuration table.\n"
278 	"Boots an EFI payload from memory",