VerifierExAllocatePoolEx

VOID *__stdcall VerifierExAllocatePoolEx(
        POOL_TYPE PoolType,
        UINT64 NumberOfBytes,
        UINT64 Tag,
        LOOKASIDE_LIST_EX *Lookaside){
  unsigned int v5; 
  VOID *result; 
  PVOID retaddr; 
  v5 = Tag;
  if( (MmVerifierData & 0x400000) == 0 || (MmVerifierData & 1) != 0 )
  {
    VfCheckPoolType(PoolType, retaddr, Tag);
    return(VOID *)pXdvExAllocatePoolWithTagPriority(
                     PoolType | 0x80u,
                     NumberOfBytes,
                     v5,
                     32,
                     (__int64)retaddr,
                     (__int64)VeAllocatePoolWithTagPriority);
  }
  else
  {
    if( (MmVerifierData & 0x2000000) != 0 )
      VfCheckPoolType(PoolType, retaddr, 0i64);
    CmpAllocateTransientPoolWithTag((_HHIVE *)(unsigned int)PoolType, NumberOfBytes, v5, (_CHILD_LIST *)Lookaside);
  }
  return result;
}

Referenced by: