Symbol: DCONS_GDB
sys/dev/misc/dcons/dcons_os.c
473
dcons_consdev.cn_gdbprivate = &sc[DCONS_GDB];
sys/dev/misc/dcons/dcons_os.c
510
dcons_attach_port(DCONS_GDB, "dgdb", DC_GDB);
sys/dev/misc/dcons/dcons_os.c
583
dcons_detach(DCONS_GDB);