INT64 __fastcall MiIncrementSystemCacheViewCount(UINT64 a1){
UINT64 v1;
__int64 v2;
INT64 result;
_MMPFN *PfnDb;
UINT64 v5;
v5 = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
v1 = v5;
MiPteInShadowRange((UINT64)&v5);
v2 = (v1 >> 12) & 0xFFFFFFFFFi64;
result = 6 * v2;
PfnDb = MmGetPfnDb();
++*((_BYTE *)PfnDb + 48 * v2 + 39);
return result;
}