Symbol: db_cmd_search_failed
sys/ddb/db_command.c
195
static void db_cmd_search_failed(char *, int);
sys/ddb/db_command.c
830
db_cmd_search_failed(db_tok_string, found);