MiGetSystemCacheReverseMap

UINT64 __fastcall MiGetSystemCacheReverseMap(UINT64 a1){
  UINT64 v2; 
  __int64 v3; 
  UINT64 v5; 
  v2 = *(_QWORD *)((char *)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
  v5 = v2;
  MiPteInShadowRange((UINT64)&v5);
  v3 = *((_QWORD *)MmGetPfnDb() + 6 * ((v2 >> 12) & 0xFFFFFFFFFi64) + 2);
  if( v3 )
    return v3 + 40 * ((a1 >> 18) & 7);
  else
    return 0i64;
}

Referenced by: