Symbol: db_readline
sys/ddb/db_extern.h
52
int db_readline(char *, int);
sys/ddb/db_lex.c
77
i = db_readline(db_line, sizeof(db_line));
sys/dev/acpi/acpica/OsdMisc.c
169
db_readline(Buffer, 80);