#define EFI_PEI_CPU_IO_PPI_INSTALLED_GUID \\r
{ 0xe6af1f7b, 0xfc3f, 0x46da, {0xa8, 0x28, 0xa3, 0xb4, 0x57, 0xa4, 0x42, 0x82 } }\r
\r
#define EFI_PEI_CPU_IO_PPI_INSTALLED_GUID \\r
{ 0xe6af1f7b, 0xfc3f, 0x46da, {0xa8, 0x28, 0xa3, 0xb4, 0x57, 0xa4, 0x42, 0x82 } }\r
\r