VerifierExAllocatePoolEx

VOID *__stdcall VerifierExAllocatePoolEx(
        POOL_TYPE PoolType,
        UINT64 NumberOfBytes,
        UINT64 Tag,
        _LOOKASIDE_LIST_EX *Lookaside){
  int v4; 
  VOID *retaddr; 

  v4 = Tag;
  if( (MmVerifierData & 0x400000) == 0 || (MmVerifierData & 1) != 0 )
  {
    VfCheckPoolType(PoolType, retaddr, Tag);
    return(VOID *)pXdvExAllocatePoolWithTagPriority(
                     PoolType | 0x80u,
                     NumberOfBytes,
                     v4,
                     32,
                     (__int64)retaddr,
                     (__int64)VeAllocatePoolWithTagPriority);
  }
  else
  {
    if( (MmVerifierData & 0x2000000) != 0 )
      VfCheckPoolType(PoolType, retaddr, 0i64);
    return CmpAllocateTransientPoolWithTag((unsigned int)PoolType, NumberOfBytes);
  }
}

Referenced by: