kdb_dbbe_select
if (kdb_dbbe_select("gdb") != 0) {
if (kdb_dbbe_select("ddb") != 0)
if (kdb_dbbe_select("ddb") != 0)
if (kdb_dbbe_select("ddb") != 0)
if (kdb_dbbe_select("gdb") != 0) {
return (kdb_dbbe_select(buf));
kdb_dbbe_select("gdb");
kdb_dbbe_select("gdb");
int kdb_dbbe_select(const char *);