__int64 __thiscall ReadUnaligned64(void *this)
{
  int v2; // eax

  if ( !this )
  {
    v2 = GetDebugService();
    if ( v2 )
      (*(void (__cdecl **)(const char *, int, const char *))(v2 + 4))(
        "e:\\hs\\MdePkg\\Library\\BaseLib\\Unaligned.c",
        192,
        "Buffer != ((void *) 0)");
  }
  return *(_QWORD *)this;
}