/src/include/gpxe/efi/
../
Base.h
Guid
Ia32
IndustryStandard
LICENCE
Pi
PiDxe.h
ProcessorBind.h
Protocol
Uefi.h
Uefi
X64
efi.h
efi_io.h
efi_pci.h
efi_smbios.h
efi_timer.h
efi_uaccess.h
efi_umalloc.h
import.pl