Lines Matching full:efi

5  * EFI information obtained here:
8  * This file implements U-Boot running as an EFI application.
17 #include <efi.h>
95  * efi_main() - Start an EFI image
97  * This function is called by our EFI start-up code. It handles running
98  * U-Boot. If it returns, EFI will continue. Another way to get back to EFI
107 	/* Set up access to EFI data structures */  in efi_main()
113 	 * Set up the EFI debug UART so that printf() works. This is  in efi_main()
114 	 * implemented in the EFI serial driver, serial_efi.c. The application  in efi_main()
139 	printf("U-Boot EFI exiting\n");  in efi_exit()
151 	{ .compatible = "efi,reset" },
160 	.name = "efi-sysreset",