Lines Matching full:efi

6  * EFI information obtained here:
9  * Loads a payload (U-Boot) within the EFI environment. This is built as an
10  * EFI application. It can be built either in 32-bit or 64-bit mode.
15 #include <efi.h>
46  * EFI uses Unicode and we don't. The easiest way to get a sensible output
47  * function is to use the U-Boot debug UART. We use EFI's console output
49  * on EFI to set up the UART for us and just bring in the functions here.
56  * Building an EFI shared library version would have to be a separate stem.
58  * that would involve a round of EFI-specific changes in SPL. Worth
153  * EFI we must first change to 32-bit mode. To do this we need to find the
156  * @return code segment GDT offset, or 0 for 32-bit EFI, -ENOENT if not found
269  * efi_main() - Start an EFI image
271  * This function is called by our EFI start-up code. It handles running
272  * U-Boot. If it returns, EFI will continue.
296 	/* Get the memory map so we can switch off EFI */  in efi_main()
354 	/* The EFI UART won't work now, switch to a debug one */  in efi_main()
362 	puts("EFI table at ");  in efi_main()