+///\r
+/// Global ID for the PEI_TPM_INITIALIZATION_DONE_PPI which always uses a NULL interface. \r
+///\r
+#define PEI_TPM_INITIALIZATION_DONE_PPI_GUID \\r
+ { \\r
+ 0xa030d115, 0x54dd, 0x447b, { 0x90, 0x64, 0xf2, 0x6, 0x88, 0x3d, 0x7c, 0xcc \\r
+ }\r
+\r
+extern EFI_GUID gPeiTpmInitializationDonePpiGuid;\r
+\r