INT64 __fastcall MiInsertVmAccessedEntry(UINT64 *a1, INT64 a2){
__int64 v2;
INT64 result;
v2 = *(unsigned int *)a1;
if( (_DWORD)v2 == *((_DWORD *)a1 + 1) )
return 1i64;
a1[v2 + 1] = a2 & 0xFFFFFFFFFFFFF000ui64;
result = 0i64;
++*(_DWORD *)a1;
return result;
}