82 	    db_printf("All watchpoints used.\n");  in db_watchpoint_alloc()
104 	    db_printf("No map.\n");  in db_set_watchpoint()
118 		db_printf("Already set.\n");  in db_set_watchpoint()
124 	    db_printf("Too many watchpoints.\n");  in db_set_watchpoint()
155 	db_printf("Not set.\n");  in db_delete_watchpoint()
164 	    db_printf("No watchpoints set\n");  in db_list_watchpoints()
169 	db_printf(" Map                Address          Size\n");  in db_list_watchpoints()
171 	db_printf(" Map        Address  Size\n");  in db_list_watchpoints()
177 	    db_printf("%s%16p  %16lx  %lx\n",  in db_list_watchpoints()
179 	    db_printf("%s%8p  %8lx  %lx\n",  in db_list_watchpoints()
297 		db_printf("Invalid watchpoint address or size.\n");  in db_deletehwatch_cmd()
301 			db_printf("Hardware watchpoint could not be deleted, "  in db_deletehwatch_cmd()
322 		db_printf("Invalid watchpoint size or address.\n");  in db_hwatchpoint_cmd()
325 		db_printf("No hardware watchpoints available.\n");  in db_hwatchpoint_cmd()
328 		db_printf("Hardware watchpoints are not supported on this platform.\n");  in db_hwatchpoint_cmd()
332 			db_printf("Could not set hardware watchpoint, "  in db_hwatchpoint_cmd()