CcAllocateObcb

INT64 CcAllocateObcb(void){
  int v0; 
  _DWORD *v1; 
  __int64 v2; 
  __int64 v3; 
  int v4; 
  _QWORD *v5; 
  UINT64 v6; 
  _WORD *PoolWithTag; 
  INT64 result; 
  v3 = v2;
  v4 = v0;
  v5 = v1;
  v6 = 8
     * ((unsigned int)(*v1
                     - *(_DWORD *)((v2 & 0xFFFFFFFFFFFFFFFEui64) + 8)
                     - *(_DWORD *)((v2 & 0xFFFFFFFFFFFFFFFEui64) + 4)
                     + v0
                     + 4095) >> 12)
     + 32;
  PoolWithTag = ExAllocatePoolWithTag((_POOL_TYPE)528, v6, 0x624F6343ui64);
  memset((INT64)PoolWithTag, 0i64);
  *PoolWithTag = 762;
  result = (INT64)PoolWithTag;
  PoolWithTag[1] = v6;
  *((_DWORD *)PoolWithTag + 1) = v4;
  *((_QWORD *)PoolWithTag + 1) = *v5;
  *((_QWORD *)PoolWithTag + 2) = v3;
  return result;
}

Referenced by: