\r
#include <PiPei.h>\r
\r
+///\r
+/// Inconsistent with specification here: \r
+/// GUID marco name has been changed to the consistent PPI GUID macro name.\r
+///\r
#define EFI_PEI_RECOVERY_MODULE_PPI_GUID \\r
{ \\r
0xFB6D9542, 0x612D, 0x4f45, {0x87, 0x2F, 0x5C, 0xFF, 0x52, 0xE9, 0x3D, 0xCF } \\r