Symbol: db_boot_reboot_cmd
sys/ddb/db_command.c
112
void db_boot_reboot_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
659
{ "reboot", db_boot_reboot_cmd, 0, 0 },
sys/ddb/db_command.c
697
{ "reboot", db_boot_reboot_cmd, 0, NULL },