db_show_all_pools  420 ddb/db_command.c 	{ "pools",	db_show_all_pools,	0, NULL },
db_show_all_pools   57 ddb/db_interface.h void db_show_all_pools(db_expr_t, int, db_expr_t, char *);