// AllocatePool - decompiled from Platform.efi
void *__cdecl AllocatePool(UINTN AllocationSize)
{
  unsigned __int16 AllocationSize_1; // bx
  void *result; // rax

  AllocationSize_1 = AllocationSize; /*0x5e96*/
  if ( (AllocationSize & 3) != 0 ) /*0x5e9c*/
    result = (void *)Assert( /*0x5eb1*/
                       (__int64)"e:\\hs\\MdePkg\\Library\\BaseIoLibIntrinsic\\IoLibMsc.c",
                       193,
                       (__int64)"(Port & 3) == 0");
  LODWORD(result) = __indword(AllocationSize_1); /*0x5eb9*/
  return result; /*0x5eba*/
}
