Symbol: POOL_DEFAULT
usr/src/uts/common/os/pool.c
169
pool_ids = id_space_create("pool_ids", POOL_DEFAULT + 1, POOL_MAXID);
usr/src/uts/common/os/pool.c
175
pool_default->pool_id = POOL_DEFAULT;
usr/src/uts/common/os/pool.c
459
if (poolid == POOL_DEFAULT)