MiLockWorkingSetOptimal

CHAR *__fastcall MiLockWorkingSetOptimal(INT64 a1, UINT64 a2, BYTE *a3){
  CHAR *v4; 
  v4 = (char *)MmGetPteBase() + ((a2 >> 9) & 0x7FFFFFFFF8i64);
  *a3 = MiLockWorkingSetShared(a1);
  MiLockPageTableInternal(a1, (UINT64)v4, 0i64);
  return v4;
}

Referenced by:

MiDirtySystemCachePte
MiMakeSystemCachePteValid
MiMarkPteDirty
MiReleaseSystemCacheView
MmSetAddressRangeModifiedEx
MmUnmapViewInSystemCache