sema_pool          58 kern/sysv_sem.c struct	pool sema_pool;		/* pool for struct semid_ds */
sema_pool          70 kern/sysv_sem.c 	pool_init(&sema_pool, sizeof(struct semid_ds), 0, 0, 0, "semapl",
sema_pool         286 kern/sysv_sem.c 		pool_put(&sema_pool, semaptr);
sema_pool         417 kern/sysv_sem.c 		semaptr_new = pool_get(&sema_pool, PR_WAITOK);
sema_pool         482 kern/sysv_sem.c 		pool_put(&sema_pool, semaptr_new);