db_mach_reboot
static void db_mach_reboot (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("reboot", db_mach_reboot, 0,
static void db_mach_reboot (db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("reboot", db_mach_reboot, 0,