MiUnlockPoolCommitWs

NTSTATUS __stdcall MiUnlockPoolCommitWs(INT64 a1){
  UINT64 v1; 
  NTSTATUS result; 

  v1 = *(_QWORD *)(a1 + 64);
  if( v1 )
  {
    MiUnlockPageTableInternal(*(_QWORD *)(a1 + 48), v1);
    *(_QWORD *)(a1 + 64) = 0i64;
  }
  LOBYTE(v1) = 2;
  MiUnlockWorkingSetShared(*(_MMSUPPORT_INSTANCE **)(a1 + 48), v1);
  result = KiIrqlFlags;
  __writecr8(*(unsigned __int8 *)(a1 + 76));
  return result;
}

Referenced by: