MiUpdateOldPagesEPTCallback

__int64 __fastcall MiUpdateOldPagesEPTCallback(__int64 a1, _QWORD *a2, INT64 a3){
  _MMSUPPORT_INSTANCE *v3; 
  UINT64 v6; 
  UINT64 v7; 
  bool v8; 
  UINT64 v10; 

  v3 = *(_MMSUPPORT_INSTANCE **)(a1 + 24);
  LODWORD(v6) = MI_READ_PTE_LOCK_FREE(a3);
  v7 = v6;
  v10 = v6;
  if( (*a2 & 2) != 0 )
    v8 = (v6 & 0x20) == 0;
  else
    v8 = (*a2 & 1) == 0;
  if( v8 )
  {
    MiPteInShadowRange((UINT64)&v10);
    MiUpdateOldPteWorker(v3, a3, &MmGetPfnDb()[(v7 >> 12) & 0xFFFFFFFFFi64]);
  }
  return 0i64;
}

Referenced by: