Symbol: db_boot_halt_cmd
sys/ddb/db_command.c
111
void db_boot_halt_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
658
{ "halt", db_boot_halt_cmd, 0, 0 },