Symbol: db_reboot_cmd
sys/ddb/db_command.c
218
static void db_reboot_cmd(db_expr_t, bool, db_expr_t, const char *);
sys/ddb/db_command.c
402
{ DDB_ADD_CMD("reboot", db_reboot_cmd, CS_OWN,