Symbol: db_getc
sys/ddb/db_input.c
386
while (!db_inputchar(db_getc()))
sys/ddb/db_output.c
260
c = db_getc();
sys/ddb/ddb.h
238
int db_getc(void);