NTSTATUS __stdcall MiZeroSystemCacheViewCount(UINT64 a1){
UINT64 v1;
UINT64 v2;
__int64 v3;
NTSTATUS result;
UINT64 v5;
LODWORD(v1) = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
v5 = v1;
v2 = v1;
MiPteInShadowRange((UINT64)&v5);
v3 = (v2 >> 12) & 0xFFFFFFFFFi64;
result = 6 * v3;
MmGetPfnDb()[v3].ViewCount = 0;
return result;
}