#include "EfiTpm.h"\r
\r
#define EFI_TCG_PROTOCOL_GUID \\r
- {0xf541796d, 0xa62e, 0x4954, 0xa7, 0x75, 0x95, 0x84, 0xf6, 0x1b, 0x9c, 0xdd}\r
+ {0xf541796d, 0xa62e, 0x4954, {0xa7, 0x75, 0x95, 0x84, 0xf6, 0x1b, 0x9c, 0xdd}}\r
\r
#define EFI_TCG_PLATFORM_PROTOCOL_GUID \\r
- { 0x8c4c9a41, 0xbf56, 0x4627, 0x9e, 0xa, 0xc8, 0x38, 0x6d, 0x66, 0x11, 0x5c }\r
+ { 0x8c4c9a41, 0xbf56, 0x4627, {0x9e, 0xa, 0xc8, 0x38, 0x6d, 0x66, 0x11, 0x5c} }\r
\r
#define TSS_EVENT_DATA_MAX_SIZE 256\r
\r