db_end 142 include/dblocal.h void db_end(void); db_end 6280 source/db.c db_end(); db_end 708 source/dbgen.c db_end(); db_end 6994 source/dbsrv.c db_end(); db_end 2537 source/dbstress.c db_end(); db_end 780 source/ialive.c db_end(); db_end 379 source/iex.c db_end(); db_end 2884 source/sched.c db_end();