__int64 __fastcall MiSetSystemCacheReverseMap(unsigned __int64 a1, __int64 a2){
UINT64 v3;
UINT64 v4;
__int64 v5;
__int64 result;
UINT64 v7;
LODWORD(v3) = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
v7 = v3;
v4 = v3;
MiPteInShadowRange((UINT64)&v7);
v5 = (v4 >> 12) & 0xFFFFFFFFFi64;
result = 6 * v5;
MmGetPfnDb()[v5].OriginalPte.u.Long = a2;
return result;
}