Symbol: DC_GDB
sys/dev/dcons/dcons_os.c
158
if ((dc->flags & DC_GDB) != 0 && gdb_cur == &dcons_gdb_dbgport)
sys/dev/dcons/dcons_os.c
396
dcons_attach_port(DCONS_GDB, "dgdb", DC_GDB);