MiUpdateOldPteWorker

VOID __stdcall MiUpdateOldPteWorker(_MMSUPPORT_INSTANCE *Vm, INT64 a2, _MMPFN *a3){
  unsigned int PfnPriority; 
  _MMPFN *v5; 
  _DWORD *v6; 
  _MMPTE *v7; 
  unsigned __int64 v8; 

  PfnPriority = MiGetPfnPriority(a3);
  v8 = (unsigned int)v6[1];
  if( (*v6 & 2) != 0 )
  {
    if( (_DWORD)v8 == 8 || PfnPriority == (_DWORD)v8 )
      MiEmptyWorkingSetHelper(Vm, v7, (UINT64)(v6 + 6), 0i64);
  }
  else if( PfnPriority > (unsigned int)v8 )
  {
    MiLockSetPfnPriority(v5, (VOID *)v8);
  }
}

Referenced by:

MiUpdateOldPagesEPTCallback
MiUpdateOldPte