db_history_last    65 ddb/db_input.c char *  db_history_last = db_history;	/* start of last line */
db_history_last   210 ddb/db_input.c 		while (db_history_curr != db_history_last) {
db_history_last   216 ddb/db_input.c 		if (db_history_curr == db_history_last) {
db_history_last   232 ddb/db_input.c 		while (db_history_curr != db_history_last) {
db_history_last   237 ddb/db_input.c 		if (db_history_curr != db_history_last) {
db_history_last   240 ddb/db_input.c 			if (db_history_curr != db_history_last) {
db_history_last   287 ddb/db_input.c 				db_history_curr = db_history_last;
db_history_last   294 ddb/db_input.c 			db_history_prev = db_history_last;
db_history_last   296 ddb/db_input.c 				*db_history_last++ = *p;
db_history_last   297 ddb/db_input.c 				if (db_history_last ==
db_history_last   299 ddb/db_input.c 					db_history_last = db_history;
db_history_last   301 ddb/db_input.c 			*db_history_last++ = '\0';
db_history_last   303 ddb/db_input.c 		db_history_curr = db_history_last;