HalFreeCommonBufferFromVector

NTSTATUS __stdcall HalFreeCommonBufferFromVector(INT64 a1, INT64 a2, UINT64 a3){
  unsigned int v3; 
  __int64 v4; 
  NTSTATUS result; 

  v3 = *(_DWORD *)(a2 + 24);
  if( (unsigned int)a3 >= v3 )
    KeBugCheckEx(0x1DCu, (PVOID)3, (PVOID)v3, (PVOID)(unsigned int)a3, 0i64);
  v4 = *(_QWORD *)(a2 + 64);
  result = 2 * a3;
  if( !*(_QWORD *)(v4 + 16i64 * (unsigned int)a3) )
    KeBugCheckEx(0x1DCu, (PVOID)4, (PVOID)(unsigned int)a3, 0i64, 0i64);
  *(_QWORD *)(v4 + 16i64 * (unsigned int)a3) = 0i64;
  return result;
}

Referenced by: