file_pool          79 kern/kern_descrip.c struct pool file_pool;
file_pool          85 kern/kern_descrip.c 	pool_init(&file_pool, sizeof(struct file), 0, 0, 0, "filepl",
file_pool         812 kern/kern_descrip.c 	fp = pool_get(&file_pool, PR_WAITOK);
file_pool        1089 kern/kern_descrip.c 	pool_put(&file_pool, fp);