HDB_DEFAULT_DB     97 source4/heimdal/lib/hdb/dbinfo.c     const char *default_dbname = HDB_DEFAULT_DB;
HDB_DEFAULT_DB    265 source4/heimdal/lib/hdb/dbinfo.c     return HDB_DEFAULT_DB;
HDB_DEFAULT_DB    402 source4/heimdal/lib/hdb/hdb.c 	filename = HDB_DEFAULT_DB;
HDB_DEFAULT_DB    180 source4/heimdal/lib/hdb/keytab.c 	*dbname = HDB_DEFAULT_DB;