\r
#define EFI_PS2_POLICY_PROTOCOL_GUID \\r
{ \\r
- 0x4df19259, 0xdc71, 0x4d46, 0xbe, 0xf1, 0x35, 0x7b, 0xb5, 0x78, 0xc4, 0x18 \\r
+ 0x4df19259, 0xdc71, 0x4d46, {0xbe, 0xf1, 0x35, 0x7b, 0xb5, 0x78, 0xc4, 0x18} \\r
}\r
\r
#define EFI_KEYBOARD_CAPSLOCK 0x0004\r