MiFreeReservationRun

VOID __stdcall MiFreeReservationRun(_MI_PARTITION *Partition, _MI_WS_SWAP_RESERVATION_RUN *ReservationRun){
  __int64 v4; 
  __int64 v5; 
  __int64 v6; 
  bool v7; 

  if( ReservationRun[2] )
  {
    LODWORD(v4) = MiGetPageFileHigh(*(_QWORD *)ReservationRun);
    v5 = v4;
    do
    {
      MiReleasePageFileInfo(Partition, *(_MMPTE *)ReservationRun, 0i64);
      LODWORD(v6) = MiUpdatePageFileHighInPte(*(_QWORD *)ReservationRun, ++v5);
      v7 = ReservationRun[2]-- == 1;
      *(_QWORD *)ReservationRun = v6;
    }
    while( !v7 );
  }
}

Referenced by: