#define EFI_PEI_READ_ONLY_VARIABLE2_PPI_GUID \\r
{ 0x2ab86ef5, 0xecb5, 0x4134, { 0xb5, 0x56, 0x38, 0x54, 0xca, 0x1f, 0xe1, 0xb4 } }\r
\r
#define EFI_PEI_READ_ONLY_VARIABLE2_PPI_GUID \\r
{ 0x2ab86ef5, 0xecb5, 0x4134, { 0xb5, 0x56, 0x38, 0x54, 0xca, 0x1f, 0xe1, 0xb4 } }\r
\r