Symbol: db_pager
sys/ddb/db_output.c
160
db_pager();
sys/ddb/db_output.c
188
db_pager();
sys/ddb/db_output.c
86
static void db_pager(void);