SPLAY_REMOVE      358 kern/subr_pool.c 			SPLAY_REMOVE(phtree, &pp->pr_phtree, ph);
SPLAY_REMOVE     1293 kern/subr_pool.c 		SPLAY_REMOVE(phtree, &pp->pr_phtree, ph);