HalFreeCommonBufferFromVector

INT64 __fastcall HalFreeCommonBufferFromVector(INT64 a1, INT64 a2, UINT64 a3){
  unsigned int v3; 
  __int64 v4; 
  INT64 result; 
  v3 = *(_DWORD *)(a2 + 24);
  if( (unsigned int)a3 >= v3 )
    KeBugCheckEx(0x1DCu, 3ui64, v3, (unsigned int)a3, 0i64);
  v4 = *(_QWORD *)(a2 + 64);
  result = 2i64 * (unsigned int)a3;
  if( !*(_QWORD *)(v4 + 16i64 * (unsigned int)a3) )
    KeBugCheckEx(0x1DCu, 4ui64, (unsigned int)a3, 0i64, 0i64);
  *(_QWORD *)(v4 + 16i64 * (unsigned int)a3) = 0i64;
  return result;
}

Referenced by: