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();