UINT64 *Data64Ptr;\r
UINT32 ThunkSize;\r
UINT32 Size;\r
- EFI_STATUS Status;\r
\r
//\r
// Check alignment of pointer to EBC code, which must always be aligned\r
//\r
Size = EBC_THUNK_SIZE + EBC_THUNK_ALIGNMENT - 1;\r
ThunkSize = Size;\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
Source = (VOID *) EbcSp;\r
Destination = (VOID *) ((UINT8 *) EbcSp - FrameSize - CPU_STACK_ALIGNMENT);\r
Destination = (VOID *) ((UINTN) ((UINTN) Destination + CPU_STACK_ALIGNMENT - 1) &~((UINTN) CPU_STACK_ALIGNMENT - 1));\r
- gBS->CopyMem (Destination, Source, FrameSize);\r
+ CopyMem (Destination, Source, FrameSize);\r
EbcAsmLLCALLEX ((UINTN) CallAddr, (UINTN) Destination);\r
}\r