#define EFI_PEI_S3_RESUME_PPI_GUID \\r
{ \\r
0x4426CCB2, 0xE684, 0x4a8a, {0xAE, 0x40, 0x20, 0xD4, 0xB0, 0x25, 0xB7, 0x10 } \\r
#define EFI_PEI_S3_RESUME_PPI_GUID \\r
{ \\r
0x4426CCB2, 0xE684, 0x4a8a, {0xAE, 0x40, 0x20, 0xD4, 0xB0, 0x25, 0xB7, 0x10 } \\r