#define _PCI_HOTPLUG_DEVICE_GUID_H_\r
\r
#define EFI_PCI_HOTPLUG_DEVICE_GUID \\r
- { 0x0b280816, 0x52e7, 0x4e51, 0xaa, 0x57, 0x11, 0xbd, 0x41, 0xcb, 0xef, 0xc3 }\r
+ { 0x0b280816, 0x52e7, 0x4e51, {0xaa, 0x57, 0x11, 0xbd, 0x41, 0xcb, 0xef, 0xc3} }\r
\r
extern EFI_GUID gEfiPciHotplugDeviceGuid;\r
\r