| /external/syslinux/gpxe/src/interface/efi/ |
| efi_uaccess.c | 22 #include <gpxe/efi/efi.h>
26 * gPXE user access API for EFI
30 PROVIDE_UACCESS_INLINE ( efi, phys_to_user );
31 PROVIDE_UACCESS_INLINE ( efi, user_to_phys );
32 PROVIDE_UACCESS_INLINE ( efi, virt_to_user );
33 PROVIDE_UACCESS_INLINE ( efi, user_to_virt );
34 PROVIDE_UACCESS_INLINE ( efi, userptr_add );
35 PROVIDE_UACCESS_INLINE ( efi, memcpy_user );
36 PROVIDE_UACCESS_INLINE ( efi, memmove_user )
[all...] |
| efi_strerror.c | 22 #include <gpxe/efi/efi.h>
26 * gPXE error message formatting for EFI
31 * Format EFI status code
33 * @v efirc EFI status code
34 * @v efi_strerror EFI status code string
|
| efi_io.c | 23 #include <gpxe/efi/efi.h>
24 #include <gpxe/efi/Protocol/CpuIo.h>
25 #include <gpxe/efi/efi_io.h>
29 * gPXE I/O API for EFI
50 * Determine EFI CPU I/O width code
53 * @ret width EFI width code
91 DBG ( "EFI I/O read at %p failed: %s\n",
117 DBG ( "EFI I/O write at %p failed: %s\n",
141 DBG ( "EFI I/O string read at %p failed: %s\n"
[all...] |
| efi_pci.c | 23 #include <gpxe/efi/efi.h>
24 #include <gpxe/efi/Protocol/PciRootBridgeIo.h>
28 * gPXE PCI I/O API for EFI
77 PROVIDE_PCIAPI_INLINE ( efi, pci_max_bus );
78 PROVIDE_PCIAPI_INLINE ( efi, pci_read_config_byte );
79 PROVIDE_PCIAPI_INLINE ( efi, pci_read_config_word );
80 PROVIDE_PCIAPI_INLINE ( efi, pci_read_config_dword );
81 PROVIDE_PCIAPI_INLINE ( efi, pci_write_config_byte );
82 PROVIDE_PCIAPI_INLINE ( efi, pci_write_config_word )
[all...] |
| /external/syslinux/gpxe/src/include/gpxe/efi/ |
| PiDxe.h | 19 #include <gpxe/efi/Uefi/UefiBaseType.h>
20 #include <gpxe/efi/Uefi/UefiSpec.h>
22 #include <gpxe/efi/Pi/PiDxeCis.h>
|
| Uefi.h | 23 #include <gpxe/efi/Uefi/UefiBaseType.h>
24 #include <gpxe/efi/Uefi/UefiSpec.h>
|
| ProcessorBind.h | 2 * EFI header files rely on having the CPU architecture directory
9 #include <gpxe/efi/Ia32/ProcessorBind.h>
13 #include <gpxe/efi/X64/ProcessorBind.h>
|
| efi_io.h | 6 * gPXE I/O API for EFI
8 * EFI runs with flat physical addressing, so the various mappings
33 * EFI runs with flat physical addressing, so these are all no-ops.
38 IOAPI_INLINE ( efi, phys_to_bus ) ( unsigned long phys_addr ) {
43 IOAPI_INLINE ( efi, bus_to_phys ) ( unsigned long bus_addr ) {
48 IOAPI_INLINE ( efi, ioremap ) ( unsigned long bus_addr, size_t len __unused ) {
53 IOAPI_INLINE ( efi, iounmap ) ( volatile const void *io_addr __unused ) {
58 IOAPI_INLINE ( efi, io_to_bus ) ( volatile const void *io_addr ) {
68 IOAPI_INLINE ( efi, readb ) ( volatile uint8_t *io_addr ) {
73 IOAPI_INLINE ( efi, readw ) ( volatile uint16_t *io_addr )
[all...] |
| /external/syslinux/gpxe/src/arch/x86_64/include/bits/ |
| nap.h | 10 #include <gpxe/efi/efix86_nap.h>
|
| /external/syslinux/gnu-efi/gnu-efi-3.0/apps/ |
| Makefile | 48 CRTOBJS = ../gnuefi/crt0-efi-$(ARCH).o
61 FORMAT = efi-app-$(ARCH)
63 TARGET_APPS = t.efi t2.efi t3.efi t4.efi t5.efi t6.efi \
64 printenv.efi t7.efi tcc.efi modelist.efi
[all...] |
| tpause.c | 1 #include <efi.h>
|
| /device/linaro/bootloader/edk2/EdkShellBinPkg/MinimumShell/ |
| MinimumShell.inf | 2 # Component description file for EFI Shell module.
5 # All .efi file tagged with "ToolCode="DUMMY"" in following file list are raw EFI application
33 PE32|Ia32/Shell.efi|*
36 PE32|X64/Shell.efi|*
39 PE32|Ipf/Shell.efi|*
42 PE32|Arm/Shell.efi|*
|
| /device/linaro/bootloader/edk2/ShellBinPkg/MinUefiShell/ |
| MinUefiShell.inf | 25 PE32|Ia32/Shell.efi|*
28 PE32|X64/Shell.efi|*
31 PE32|Arm/Shell.efi|*
34 PE32|AArch64/Shell.efi|*
|
| /device/linaro/bootloader/edk2/ShellBinPkg/UefiShell/ |
| UefiShell.inf | 25 PE32|Ia32/Shell.efi|*
28 PE32|X64/Shell.efi|*
31 PE32|Arm/Shell.efi|*
34 PE32|AArch64/Shell.efi|*
|
| /external/syslinux/gpxe/src/arch/x86/interface/efi/ |
| efix86_nap.c | 22 #include <gpxe/efi/efi.h>
26 * gPXE CPU sleeping API for EFI
36 * I can't find any EFI API that allows us to put the CPU to
41 * The EFI shell doesn't seem to bother sleeping the CPU; it
|
| /device/linaro/bootloader/edk2/FatBinPkg/EnhancedFatDxe/ |
| Fat.inf | 3 # Binary FAT32 EFI Driver for IA32, X64, IPF and EBC arch.
36 PE32|Ia32/Fat.efi|*
39 PE32|X64/Fat.efi|*
42 PE32|Ipf/Fat.efi|*
45 PE32|Ebc/Fat.efi|*
48 PE32|Arm/Fat.efi|*
51 PE32|AArch64/Fat.efi|*
|
| /external/syslinux/gnu-efi/gnu-efi-3.0/debian/ |
| rules | 44 # gnu-efi files
45 cp -r inc/* debian/gnu-efi/usr/include/efi/
46 rm debian/gnu-efi/usr/include/efi/Makefile
47 rm debian/gnu-efi/usr/include/efi/inc.mak
48 rm debian/gnu-efi/usr/include/efi/make.inf
49 rm debian/gnu-efi/usr/include/efi/makefile.hd
[all...] |
| /device/linaro/bootloader/edk2/EdkShellBinPkg/FullShell/ |
| FullShell.inf | 2 # Component description file for EFI Shell module.
5 # All .efi file tagged with "ToolCode="DUMMY"" in following file list are raw EFI application
33 PE32|Ia32/Shell_Full.efi|*
36 PE32|X64/Shell_Full.efi|*
39 PE32|Ipf/Shell_Full.efi|*
42 PE32|Arm/Shell_Full.efi|*
45 PE32|AArch64/Shell_Full.efi|*
|
| /external/syslinux/gpxe/src/include/gpxe/efi/Pi/ |
| PiMultiPhase.h | 21 #include <gpxe/efi/Uefi/UefiMultiPhase.h>
23 #include <gpxe/efi/Pi/PiFirmwareVolume.h>
24 #include <gpxe/efi/Pi/PiFirmwareFile.h>
25 #include <gpxe/efi/Pi/PiBootMode.h>
27 #include <gpxe/efi/Pi/PiHob.h>
28 #include <gpxe/efi/Pi/PiDependency.h>
|
| /external/syslinux/gpxe/src/arch/i386/include/bits/ |
| nap.h | 13 #include <gpxe/efi/efix86_nap.h>
|
| /device/linaro/bootloader/edk2/DuetPkg/ |
| CreateBootDisk.sh | 82 mkdir -p $EFI_BOOT_MEDIA/efi
83 mkdir -p $EFI_BOOT_MEDIA/efi/boot
86 cp $WORKSPACE/ShellBinPkg/UefiShell/Ia32/Shell.efi $EFI_BOOT_MEDIA/efi/boot/boot$5.efi
90 cp $WORKSPACE/ShellBinPkg/UefiShell/X64/Shell.efi $EFI_BOOT_MEDIA/efi/boot/boot$5.efi
109 mmd -i $EFI_BOOT_MEDIA ::/efi ::/efi/boo
[all...] |
| /external/syslinux/efi/ |
| clean-gnu-efi.sh | 5 # Initialise the gnu-efi submodule and ensure the source is up-to-date.
12 Build the <arch> gnu-efi libs and header files and install in <objdir>.
14 <arch> - A gnu-efi \$ARCH argument, i.e. ia32, x86_64
29 if [ -d "$objdir/gnu-efi" ];then
30 cd "$objdir/gnu-efi"
31 EFIDIR="$(readlink -f "$objdir/../gnu-efi/gnu-efi-3.0")"
35 cd "$objdir/efi"
|
| /external/syslinux/gnu-efi/gnu-efi-3.0/inc/ |
| Makefile | 16 mkdir -p $(INSTALLROOT)$(PREFIX)/include/efi
17 mkdir -p $(INSTALLROOT)$(PREFIX)/include/efi/protocol
18 mkdir -p $(INSTALLROOT)$(PREFIX)/include/efi/$(ARCH)
19 $(INSTALL) -m 644 $(SRCDIR)/*.h $(INSTALLROOT)$(PREFIX)/include/efi
20 $(INSTALL) -m 644 $(SRCDIR)/protocol/*.h $(INSTALLROOT)$(PREFIX)/include/efi/protocol
21 $(INSTALL) -m 644 $(SRCDIR)/$(ARCH)/*.h $(INSTALLROOT)$(PREFIX)/include/efi/$(ARCH)
23 mkdir -p $(INSTALLROOT)$(PREFIX)/include/efi/protocol/ia64
24 $(INSTALL) -m 644 $(SRCDIR)/protocol/ia64/*.h $(INSTALLROOT)$(PREFIX)/include/efi/protocol/ia64
|
| /external/syslinux/gpxe/src/arch/x86/prefix/ |
| efidrvprefix.c | 23 #include <gpxe/efi/efi.h>
26 * EFI entry point
30 * @ret efirc EFI return status code
36 /* Initialise EFI environment */
|
| efiprefix.c | 22 #include <gpxe/efi/efi.h>
25 * EFI entry point
29 * @ret efirc EFI return status code
35 /* Initialise EFI environment */
|
