337 		db_printf("%-16s", cmd->name);  in db_cmd_list()
342 		db_printf("\nThe following have subcommands; append \"help\" "  in db_cmd_list()
347 			db_printf("%-16s", cmd->name);  in db_cmd_list()
378 	    db_printf("Unrecognized input; use \"help\" "  in db_command()
393 			db_printf("No such command; use \"help\" "  in db_command()
398 			db_printf("Ambiguous\n");  in db_command()
403 			    db_printf("This is ddb(4), the kernel debugger; "  in db_command()
405 			    db_printf("Use \"bt\" for backtrace, \"dump\" for "  in db_command()
407 			    db_printf("Available commands:\n");  in db_command()
418 			db_printf("Subcommand required; "  in db_command()
436 			db_printf("Bad modifier\n");  in db_command()
459 			db_printf("Count missing\n");  in db_command()
530 		db_printf("\n");  in db_command_loop()
532 	    db_printf("db> ");  in db_command_loop()
560 	    db_printf("%s", s);  in db_error()
571 		db_printf("textdump_pending set.\n"  in db_dump()
577 		db_printf("Cannot dump: ");  in db_dump()
580 			db_printf("debugger got invoked while dumping.\n");  in db_dump()
583 			db_printf("no dump device specified.\n");  in db_dump()
586 			db_printf("unknown error (error=%d).\n", error);  in db_dump()
607 		db_printf("Too many arguments (max 10)\n");  in db_fncall_generic()
625 	    db_printf("Bad function\n");  in db_fncall()
636 			db_printf("Too many arguments (max %d)\n", DB_MAXARGS);  in db_fncall()
641 			db_printf("Argument missing\n");  in db_fncall()
650 	        db_printf("Mismatched parens\n");  in db_fncall()
659 		db_printf("= %#lr\n", (long)retval);  in db_fncall()
675 #define	DB_ERROR(f)	do { db_printf f; db_flush_lex(); goto out; } while (0)  in db_kill()
745 		db_printf("Automatic reboot in %d seconds - "  in db_reset()
772 		db_printf("No argument provided, disabling watchdog\n");  in db_watchdog()
786 		db_printf("The remote GDB backend could not be selected.\n");  in db_gdb()
794 	db_printf("(ctrl-c will return control to ddb)\n");  in db_gdb()
814 			db_printf("Count missing\n");  in db_stack_trace()
831 			db_printf("Thread %d not found\n", (int)tid);  in db_stack_trace()
840 	db_printf("Tracing pid %d tid %ld td %p\n", pid, (long)td->td_tid, td);  in db_stack_trace()
842 		db_printf("--- swapped out\n");  in db_stack_trace()
858 				db_printf("\nTracing command %s pid %d"  in _db_stack_trace_all()
865 				db_printf("\nTracing command %s pid %d"  in _db_stack_trace_all()
871 				db_printf("--- swapped out\n");  in _db_stack_trace_all()