session_pool       71 kern/kern_proc.c struct pool session_pool;
session_pool      105 kern/kern_proc.c 	pool_init(&session_pool, sizeof(struct session), 0, 0, 0, "sessionpl",
session_pool      229 kern/kern_proc.c 			sess = pool_get(&session_pool, PR_WAITOK);
session_pool      357 sys/proc.h     		pool_put(&session_pool, s);				\
session_pool      401 sys/proc.h     extern struct pool session_pool;	/* memory pool for sessions */