# Include/Ppi/TpmInitialized.h\r
gPeiTpmInitializedPpiGuid = { 0xe9db0d58, 0xd48d, 0x47f6, { 0x9c, 0x6e, 0x6f, 0x40, 0xe8, 0x6c, 0x7b, 0x41 }}\r
\r
+ ## The PPI GUID for that TPM initialization is done. TPM initialization may be success or fail.\r
+ # Include/Ppi/TpmInitialized.h\r
+ gPeiTpmInitializationDonePpiGuid = { 0xa030d115, 0x54dd, 0x447b, { 0x90, 0x64, 0xf2, 0x6, 0x88, 0x3d, 0x7c, 0xcc }}\r
+\r
## Include/Ppi/FirmwareVolumeInfoMeasurementExcluded.h\r
gEfiPeiFirmwareVolumeInfoMeasurementExcludedPpiGuid = { 0x6e056ff9, 0xc695, 0x4364, { 0x9e, 0x2c, 0x61, 0x26, 0xf5, 0xce, 0xea, 0xae } }\r
\r
# [Error.gEfiSecurityPkgTokenSpaceGuid]\r
# 0x80000001 | Invalid value provided.\r
# 0x80000002 | Reserved bits must be set to zero.\r
+# 0x80000003 | Incorrect progress or error code provided.\r
#\r
\r
[PcdsFixedAtBuild, PcdsPatchableInModule]\r
# TPM_DEVICE_INTERFACE_NONE means disable.<BR>\r
# TPM_DEVICE_INTERFACE_TPM12 means TPM 1.2 DTPM.<BR>\r
# TPM_DEVICE_INTERFACE_DTPM2 means TPM 2.0 DTPM.<BR>\r
+ # Other GUID value means other TPM 2.0 device.<BR>\r
# @Prompt TPM device type identifier\r
gEfiSecurityPkgTokenSpaceGuid.PcdTpmInstanceGuid |{ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }|VOID*|0x0001000F\r
\r