INT64 __stdcall MiSetSystemCacheReverseMap(UINT64 rcx0, INT64 a2){
UINT64 v3;
__int64 v4;
INT64 result;
UINT64 v6;
v6 = MI_READ_PTE_LOCK_FREE((INT64)MmGetPdeBase() + ((rcx0 >> 18) & 0x3FFFFFF8));
v3 = v6;
MiPteInShadowRange((UINT64)&v6);
v4 = (v3 >> 12) & 0xFFFFFFFFFi64;
result = 6 * v4;
*((_QWORD *)MmGetPfnDb() + 6 * v4 + 2) = a2;
return result;
}