SecPlatformInformation2.h

Go to the documentation of this file.

 
#ifndef __SEC_PLATFORM_INFORMATION2_PPI_H__
#define __SEC_PLATFORM_INFORMATION2_PPI_H__
 
#include <Ppi/SecPlatformInformation.h>
 
#define EFI_SEC_PLATFORM_INFORMATION2_GUID \
  { \
    0x9e9f374b, 0x8f16, 0x4230, {0x98, 0x24, 0x58, 0x46, 0xee, 0x76, 0x6a, 0x97 } \
  }
 
typedef struct _EFI_SEC_PLATFORM_INFORMATION2_PPI EFI_SEC_PLATFORM_INFORMATION2_PPI;
 
typedef struct {
  UINT32                               CpuLocation;
  EFI_SEC_PLATFORM_INFORMATION_RECORD  InfoRecord;
} EFI_SEC_PLATFORM_INFORMATION_CPU;
 
typedef struct {
  UINT32                               NumberOfCpus;
  EFI_SEC_PLATFORM_INFORMATION_CPU     CpuInstance[1];
} EFI_SEC_PLATFORM_INFORMATION_RECORD2;
 
typedef
EFI_STATUS
(EFIAPI *EFI_SEC_PLATFORM_INFORMATION2)(
  IN CONST  EFI_PEI_SERVICES                     **PeiServices,
  IN OUT    UINT64                               *StructureSize,
  OUT       EFI_SEC_PLATFORM_INFORMATION_RECORD2 *PlatformInformationRecord2
);
 
struct _EFI_SEC_PLATFORM_INFORMATION2_PPI {
  EFI_SEC_PLATFORM_INFORMATION2  PlatformInformation2;
};
 
extern EFI_GUID gEfiSecPlatformInformation2PpiGuid;
 
#endif