Symbol: gdb_cnflush
sys/gdb/gdb_cons.c
157
gdb_cnflush(gc);
sys/gdb/gdb_cons.c
167
gdb_cnflush(gc);
sys/gdb/gdb_cons.c
169
callout_reset(&gc->flush, hz/4, gdb_cnflush, gc);