MiAdvanceFaultList

VOID __stdcall MiAdvanceFaultList(_MI_FAULT_VA_LIST *FaultHead){
  __int64 v2; 
  __int64 v3; 
  __int64 v4; 
  __int64 v5; 
  unsigned __int64 v6; 
  unsigned __int64 v7; 

  v2 = *((_QWORD *)FaultHead + 3);
  v3 = *((_QWORD *)FaultHead + 1);
  v4 = *(_QWORD *)(v3 + 16 * v2 + 8);
  v5 = *(_DWORD *)(v3 + 16 * v2) & 0xFFF;
  if( ++*((_QWORD *)FaultHead + 4) == (unsigned __int64)(v5 + v4 + 4095) >> 12 )
  {
    *((_QWORD *)FaultHead + 4) = 0i64;
    v6 = v2 + 1;
    v7 = *((_QWORD *)FaultHead + 2);
    *((_QWORD *)FaultHead + 3) = v6;
    if( v6 < v7 )
    {
      if( !*(_QWORD *)(v3 + 16 * v6 + 8) )
        v6 = v7;
      *((_QWORD *)FaultHead + 3) = v6;
    }
  }
}

Referenced by: