+++ /dev/null
-/*++\r
-\r
-Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>\r
-This program and the accompanying materials \r
-are licensed and made available under the terms and conditions of the BSD License \r
-which accompanies this distribution. 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
-Module Name:\r
-\r
- SecPlatformInformation.h\r
- \r
-Abstract:\r
-\r
- Sec Platform Information PPI as defined in Tiano\r
-\r
---*/\r
-\r
-#ifndef _PEI_SEC_PLATFORM_INFORMATION_PPI_H\r
-#define _PEI_SEC_PLATFORM_INFORMATION_PPI_H\r
-\r
-#define EFI_SEC_PLATFORM_INFORMATION_GUID \\r
- { \\r
- 0x6f8c2b35, 0xfef4, 0x448d, {0x82, 0x56, 0xe1, 0x1b, 0x19, 0xd6, 0x10, 0x77} \\r
- }\r
-\r
-EFI_FORWARD_DECLARATION (EFI_SEC_PLATFORM_INFORMATION_PPI);\r
-\r
-extern EFI_GUID gEfiSecPlatformInformationPpiGuid;\r
-\r
-typedef union {\r
- struct {\r
- UINT32 Status : 2;\r
- UINT32 Tested : 1;\r
- UINT32 Reserved1 :13;\r
- UINT32 VirtualMemoryUnavailable : 1;\r
- UINT32 Ia32ExecutionUnavailable : 1;\r
- UINT32 FloatingPointUnavailable : 1;\r
- UINT32 MiscFeaturesUnavailable : 1;\r
- UINT32 Reserved2 :12;\r
- } Bits;\r
- UINT32 Uint32;\r
-} EFI_HEALTH_FLAGS;\r
-\r
-typedef struct {\r
- EFI_HEALTH_FLAGS HealthFlags;\r
-} SEC_PLATFORM_INFORMATION_RECORD;\r
-\r
-typedef struct {\r
- UINTN BootPhase; // entry r20 value\r
- UINTN UniqueId; // PAL arbitration ID\r
- UINTN HealthStat; // Health Status\r
- UINTN PALRetAddress; // return address to PAL\r
-} IPF_HANDOFF_STATUS;\r
-\r
-typedef\r
-EFI_STATUS\r
-(EFIAPI *SEC_PLATFORM_INFORMATION) (\r
- IN EFI_PEI_SERVICES **PeiServices,\r
- IN OUT UINT64 *StructureSize,\r
- IN OUT SEC_PLATFORM_INFORMATION_RECORD *PlatformInformationRecord\r
- );\r
-\r
-struct _EFI_SEC_PLATFORM_INFORMATION_PPI {\r
- SEC_PLATFORM_INFORMATION PlatformInformation;\r
-};\r
-\r
-#endif\r