# 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