MiGetUsedPtesHandle

_MMPFN *__fastcall MiGetUsedPtesHandle(UINT64 a1){
  UINT64 v1; 
  UINT64 v3; 
  v1 = *(_QWORD *)((char *)MmGetPdeBase() + ((a1 >> 18) & 0x3FFFFFF8));
  v3 = v1;
  MiPteInShadowRange((UINT64)&v3);
  return(_MMPFN *)((char *)MmGetPfnDb() + 48 * ((v1 >> 12) & 0xFFFFFFFFFi64));
}

Referenced by: