321 		db_printf("%-16s", cmd->name);  in db_cmd_list()
326 		db_printf("\nThe following have subcommands; append \"help\" "  in db_cmd_list()
331 			db_printf("%-16s", cmd->name);  in db_cmd_list()
362 	    db_printf("Unrecognized input; use \"help\" "  in db_command()
377 			db_printf("No such command; use \"help\" "  in db_command()
382 			db_printf("Ambiguous\n");  in db_command()
387 			    db_printf("This is ddb(4), the kernel debugger; "  in db_command()
389 			    db_printf("Use \"bt\" for backtrace, \"dump\" for "  in db_command()
391 			    db_printf("Available commands:\n");  in db_command()
402 			db_printf("Subcommand required; "  in db_command()
420 			db_printf("Bad modifier\n");  in db_command()
443 			db_printf("Count missing\n");  in db_command()
514 		db_printf("\n");  in db_command_loop()
516 	    db_printf("db> ");  in db_command_loop()
544 	    db_printf("%s", s);  in db_error()
555 		db_printf("textdump_pending set.\n"  in db_dump()
561 		db_printf("Cannot dump: ");  in db_dump()
564 			db_printf("debugger got invoked while dumping.\n");  in db_dump()
567 			db_printf("no dump device specified.\n");  in db_dump()
570 			db_printf("unknown error (error=%d).\n", error);  in db_dump()
591 		db_printf("Too many arguments (max 10)\n");  in db_fncall_generic()
609 	    db_printf("Bad function\n");  in db_fncall()
620 			db_printf("Too many arguments (max %d)\n", DB_MAXARGS);  in db_fncall()
625 			db_printf("Argument missing\n");  in db_fncall()
634 	        db_printf("Mismatched parens\n");  in db_fncall()
643 		db_printf("= %#lr\n", (long)retval);  in db_fncall()
659 #define	DB_ERROR(f)	do { db_printf f; db_flush_lex(); goto out; } while (0)  in db_kill()
729 		db_printf("Automatic reboot in %d seconds - "  in db_reset()
756 		db_printf("No argument provided, disabling watchdog\n");  in db_watchdog()
770 		db_printf("The remote GDB backend could not be selected.\n");  in db_gdb()
778 	db_printf("(ctrl-c will return control to ddb)\n");  in db_gdb()
798 			db_printf("Count missing\n");  in db_stack_trace()
814 			db_printf("Thread %d not found\n", (int)tid);  in db_stack_trace()
823 	db_printf("Tracing pid %d tid %ld td %p\n", pid, (long)td->td_tid, td);  in db_stack_trace()
840 				db_printf("\nTracing command %s pid %d tid %ld td %p\n",  in db_stack_trace_all()