MiResetAccessBitsTail

INT64 __fastcall MiResetAccessBitsTail(INT64 a1){
  __int64 i; 
  __int64 v3; 
  _DWORD *v4; 
  for( i = *(_QWORD *)(a1 + 168);
        ;
        MiProcessVmAccessedInfo(
          a1,
          *(_DWORD **)(i + 16),
          (__int64(__fastcall *)(__int64, _QWORD *, char *, unsigned __int64, __int64))MiResetAccessBitsEPTCallback,
          i) )
  {
    v3 = *(_QWORD *)(i + 8);
    if( v3 )
      MiFlushTbList(v3);
    v4 = *(_DWORD **)(i + 16);
    if( !v4 || !*v4 || !(unsigned int)MiQueryEPTAccessedState(a1, v4) )
      break;
  }
  return 0i64;
}

Referenced by:

MiResetAccessBitPte