--- /dev/null
+/*++\r
+\r
+Copyright (c) 1999 - 2014, Intel Corporation. All rights reserved\r
+\r
+ This program and the accompanying materials are licensed and made available under\r
+ the terms and conditions of the BSD License that accompanies this distribution.\r
+ The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php.\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+\r
+Module Name:\r
+\r
+ PlatformMemorySize.h\r
+\r
+Abstract:\r
+\r
+ Platform Memory Size PPI as defined in Tiano\r
+\r
+ PPI for describing the minimum platform memory size in order to successfully\r
+ pass control into DXE\r
+\r
+--*/\r
+//\r
+//\r
+#ifndef _PEI_PLATFORM_MEMORY_SIZE_H_\r
+#define _PEI_PLATFORM_MEMORY_SIZE_H_\r
+\r
+#define PEI_PLATFORM_MEMORY_SIZE_PPI_GUID \\r
+ { \\r
+ 0x9a7ef41e, 0xc140, 0x4bd1, 0xb8, 0x84, 0x1e, 0x11, 0x24, 0xb, 0x4c, 0xe6 \\r
+ }\r
+\r
+EFI_FORWARD_DECLARATION (PEI_PLATFORM_MEMORY_SIZE_PPI);\r
+\r
+typedef\r
+EFI_STATUS\r
+(EFIAPI *PEI_GET_MINIMUM_PLATFORM_MEMORY_SIZE) (\r
+ IN EFI_PEI_SERVICES **PeiServices,\r
+ IN PEI_PLATFORM_MEMORY_SIZE_PPI * This,\r
+ IN OUT UINT64 *MemorySize\r
+ );\r
+\r
+typedef struct _PEI_PLATFORM_MEMORY_SIZE_PPI {\r
+ PEI_GET_MINIMUM_PLATFORM_MEMORY_SIZE GetPlatformMemorySize;\r
+} PEI_PLATFORM_MEMORY_SIZE_PPI;\r
+\r
+extern EFI_GUID gPeiPlatformMemorySizePpiGuid;\r
+\r
+#endif\r