Lines Matching refs:EFI
52 Added two simple applications to allocate/free memory at EFI.
245 checking code which relies on libc help that isn't present in the EFI runtime
251 dependency between the host ELF headers and the EFI runtime environment)
253 - Allows GNU EFI to build out of the box on both FreeBSD/i386 and
255 - Allows GNU EFI to build out of the box with either GCC or clang on
275 the System V ABI to UEFI functions as EFI ABI functions.
311 BufferSize is a UINT64 *. The file shipped with GNU EFI is from
318 because the stack gets screwed. x86_64 EFI already aligns the
331 - EFI Block I/O protocol versions 2 and 3 provide more information
408 EFI calling convention, the stack should be aligned in 16 bytes
409 to make it possible to use SSE2 in EFI boot services.
472 * update efi library to latest EFI toolkit 1.02 as distributed
493 ZERO_PAGE_ADDR trick anymore. Instead we use EFI runtime memory.
511 types as that is what EFI appears to be expecting, despite the
588 .IA_64.unwind_info in .data segment to avoid EFI load error