Symbol: db_readline
sys/ddb/db_extern.h
52
int db_readline(char *, int);
sys/ddb/db_lex.c
62
i = db_readline(db_line, sizeof(db_line));