CHAR __stdcall MiDecrementSystemCacheViewCount(UINT64 a1){
UINT64 v1;
UINT64 v2;
_MMPFN *v3;
CHAR result;
UINT64 v5;
LODWORD(v1) = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
v5 = v1;
v2 = v1;
MiPteInShadowRange((UINT64)&v5);
v3 = &MmGetPfnDb()[(v2 >> 12) & 0xFFFFFFFFFi64];
result = v3->ViewCount - 1;
v3->ViewCount = result;
return result;
}