// CompareMem - decompiled from Platform.efi
INTN __cdecl CompareMem(const void *DestinationBuffer, const void *SourceBuffer, UINTN Length)
{
  __int128 v5; // rdi
  __int64 v6; // rbx
  INTN result; // rax

  *((_QWORD *)&v5 + 1) = MmIoRead32(DestinationBuffer); /*0x5e4a*/
  v6 = MmIoRead32(SourceBuffer); /*0x5e56*/
  *(_QWORD *)&v5 = MmIoRead32((char *)DestinationBuffer + 8); /*0x5e62*/
  result = MmIoRead32((char *)SourceBuffer + 8); /*0x5e65*/
  if ( v5 != __PAIR128__(v6, result) ) /*0x5e6d*/
    return 0; /*0x5e78*/
  LOBYTE(result) = 1; /*0x5e74*/
  return result; /*0x5e89*/
}