CcAllocateVacbLevel

_QWORD *__fastcall CcAllocateVacbLevel(__int64 a1, int a2){
  _QWORD *v2; 
  __int64 v3; 
  _QWORD *v4; 
  if( a2 )
  {
    v2 = *(_QWORD **)(a1 + 16);
    *(_QWORD *)(a1 + 16) = 0i64;
    memset((INT64)(v2 + 1), 0i64);
    v2[256] = 0i64;
  }
  else
  {
    v2 = *(_QWORD **)a1;
    if( *(_QWORD *)a1 == a1 )
      KeBugCheckEx(0x34u, 0x13ADui64, 0xFFFFFFFFC0000420ui64, 0i64, 0i64);
    v3 = *v2;
    if( *(_QWORD **)(*v2 + 8i64) != v2 || (v4 = (_QWORD *)v2[1], (_QWORD *)*v4 != v2) )
      __fastfail(3u);
    *v4 = v3;
    *(_QWORD *)(v3 + 8) = v4;
    --*(_DWORD *)(a1 + 24);
    memset((INT64)(v2 + 1), 0i64);
  }
  *v2 = 0i64;
  return v2;
}

Referenced by: