#include "BdsPlatform.h"\r
\r
EFI_GUID gTerminalDriverGuid = {\r
- 0x10634d8e, 0x1c05, 0x46cb, 0xbb, 0xc, 0x5a, 0xfd, 0xc8, 0x29, 0xa8, 0xc8\r
+ 0x10634d8e, 0x1c05, 0x46cb, {0xbb, 0xc, 0x5a, 0xfd, 0xc8, 0x29, 0xa8, 0xc8}\r
};\r
\r
VOID\r
CHAR16 *ExitData;\r
BDS_COMMON_OPTION *Option;\r
\r
- Status = gBS->AllocatePool (EfiBootServicesData, sizeof (BDS_COMMON_OPTION), &Option);\r
+ Status = gBS->AllocatePool (EfiBootServicesData, sizeof (BDS_COMMON_OPTION), (VOID**) &Option);\r
Option->Description = FileContext->FileName;\r
Option->DevicePath = FileContext->DevicePath;\r
Option->LoadOptionsSize = 0;\r