/* This service allocates memory from the Hand-Off Block (HOB) heap. */
EFI_STATUS EFIAPI PeiServicesAllocatePool(IN UINTN Size, OUT VOID **Buffer)
/* This service allocates memory from the Hand-Off Block (HOB) heap. */
EFI_STATUS EFIAPI PeiServicesAllocatePool(IN UINTN Size, OUT VOID **Buffer)
{
  ASSERT (FALSE);
  return EFI_OUT_OF_RESOURCES;
}