#include <IndustryStandard/PeImage.h>\r
#include <Library/BaseLib.h>\r
#include <Library/BaseMemoryLib.h>\r
+#include <Library/PrintLib.h>\r
\r
#define INT15_E820_AddressRangeMemory 1\r
#define INT15_E820_AddressRangeReserved 2\r
BIOS_MEMORY_MAP_ENTRY MemoryMapEntry[1];\r
} BIOS_MEMORY_MAP;\r
\r
-EFI_STATUS\r
-EFIAPI\r
-UefiDecompressGetInfo (\r
- IN EFI_TIANO_DECOMPRESS_PROTOCOL *This,\r
- IN VOID *Source,\r
- IN UINT32 SrcSize,\r
- OUT UINT32 *DstSize,\r
- OUT UINT32 *ScratchSize\r
- );\r
-\r
-EFI_STATUS\r
-EFIAPI\r
-TianoDecompress (\r
- IN EFI_TIANO_DECOMPRESS_PROTOCOL *This,\r
- IN VOID *Source,\r
- IN UINT32 SrcSize,\r
- IN OUT VOID *Destination,\r
- IN UINT32 DstSize,\r
- IN OUT VOID *Scratch,\r
- IN UINT32 ScratchSize\r
- );\r
-\r
EFILDR_LOADED_IMAGE DxeCoreImage;\r
EFILDR_LOADED_IMAGE DxeIplImage;\r
\r