VOID __stdcall MiReleasePageFileSectionInfo(_MI_PAGEFILE_SECTION_RESERVE_INFO *Info){
__int64 v2;
_MI_CONTROL_AREA_WAIT_BLOCK *v3;
v2 = *((_QWORD *)Info + 1);
if( v2 )
MiUnlockProtoPoolPage(v2, *((_BYTE *)Info + 32));
v3 = MiDecrementModifiedWriteCount(*(_CONTROL_AREA **)Info, 0i64);
if( v3 )
MiReleaseControlAreaWaiters(v3);
}