Symbol: db_kill_cmd
sys/ddb/db_command.c
669
{ "kill", db_kill_cmd, 0, NULL },
sys/ddb/db_interface.h
43
void db_kill_cmd(db_expr_t, int, db_expr_t, char *);