UINT32 Addr;\r
INT32 Size;\r
INT32 ThunkSize;\r
- EFI_STATUS Status;\r
\r
//\r
// Check alignment of pointer to EBC code\r
Size = EBC_THUNK_SIZE;\r
ThunkSize = Size;\r
\r
- Status = gBS->AllocatePool (\r
- EfiBootServicesData,\r
- Size,\r
- (VOID *) &Ptr\r
- );\r
- if (Status != EFI_SUCCESS) {\r
+ Ptr = AllocatePool (Size);\r
+\r
+ if (Ptr == NULL) {\r
return EFI_OUT_OF_RESOURCES;\r
}\r
//\r