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