// MmIoRead32 - decompiled from Platform.efi
__int64 __fastcall MmIoRead32(const void *DestinationBuffer)
{
  if ( !DestinationBuffer ) /*0xac3c*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\Unaligned.c", 192, (__int64)"Buffer != ((void *) 0)"); /*0xac51*/
  return *(_QWORD *)DestinationBuffer; /*0xac59*/
}