Symbol: dcons_dbg_putc
sys/dev/dcons/dcons_os.c
130
static gdb_putc_f dcons_dbg_putc;
sys/dev/dcons/dcons_os.c
133
dcons_dbg_getc, dcons_dbg_putc);