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