// AllocateCopyPool - decompiled from Platform.efi
void *__cdecl AllocateCopyPool(UINTN AllocationSize, const void *Buffer)
{
  __int64 v2; // rax
  void *v3; // rcx
  void *v5; // [rsp+40h] [rbp+18h] BYREF

  v2 = (*(__int64 (__fastcall **)(__int64, const void *, void **))(BootServices + 64))(4, Buffer, &v5); /*0x6081*/
  v3 = v5; /*0x6084*/
  if ( v2 < 0 ) /*0x608e*/
    return 0; /*0x608e*/
  return v3; /*0x6095*/
}
