\r
#define EFI_DXE_IPL_PPI_GUID \\r
{ \\r
- 0xae8ce5d, 0xe448, 0x4437, 0xa8, 0xd7, 0xeb, 0xf5, 0xf1, 0x94, 0xf7, 0x31 \\r
+ 0xae8ce5d, 0xe448, 0x4437, {0xa8, 0xd7, 0xeb, 0xf5, 0xf1, 0x94, 0xf7, 0x31} \\r
}\r
\r
EFI_FORWARD_DECLARATION (EFI_DXE_IPL_PPI);\r