MiReleasePageFileSectionInfo

VOID __fastcall MiReleasePageFileSectionInfo(INT64 a1){
  UINT64 v1; 
  _MMPFN *v3; 
  _QWORD *v4; 
  v3 = *(_MMPFN **)(a1 + 8);
  if( v3 )
  {
    LOBYTE(v1) = *(_BYTE *)(a1 + 32);
    MiUnlockProtoPoolPage(v3, v1);
  }
  MiDecrementModifiedWriteCount(*(_CONTROL_AREA **)a1, 0i64);
  if( v4 )
    MiReleaseControlAreaWaiters(v4);
}

Referenced by: