return EFI_INVALID_PARAMETER;\r
}\r
\r
- InstructionBuffer = AllocatePool (sizeof (EBC_INSTRUCTION_BUFFER));\r
+ InstructionBuffer = EbcAllocatePoolForThunk (sizeof (EBC_INSTRUCTION_BUFFER));\r
if (InstructionBuffer == NULL) {\r
return EFI_OUT_OF_RESOURCES;\r
}\r