Symbol: db_sifting
sys/ddb/db_command.c
1616
db_sifting(db_tok_string, mode);
sys/ddb/db_sym.h
97
void db_sifting(char *, int);