Symbol: db_boot_dump_cmd
sys/ddb/db_command.c
110
void db_boot_dump_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
657
{ "dump", db_boot_dump_cmd, 0, 0 },