pool_chk_page     166 kern/subr_pool.c int	pool_chk_page(struct pool *, const char *, struct pool_item_header *);
pool_chk_page    1561 kern/subr_pool.c 		r = pool_chk_page(pp, label, ph);
pool_chk_page    1567 kern/subr_pool.c 		r = pool_chk_page(pp, label, ph);
pool_chk_page    1573 kern/subr_pool.c 		r = pool_chk_page(pp, label, ph);