db_history         62 ddb/db_input.c char    db_history[DB_HISTORY_SIZE];	/* start of history buffer */
db_history         64 ddb/db_input.c char *  db_history_curr = db_history;	/* start of current line */
db_history         65 ddb/db_input.c char *  db_history_last = db_history;	/* start of last line */
db_history        125 ddb/db_input.c 			db_history + db_history_size - 1) \
db_history        126 ddb/db_input.c 			db_history_curr = db_history; \
db_history        131 ddb/db_input.c 		if (db_history_curr < db_history) \
db_history        132 ddb/db_input.c 			db_history_curr = db_history + \
db_history        224 ddb/db_input.c 				if (p == db_history + db_history_size)
db_history        225 ddb/db_input.c 					p = db_history;
db_history        245 ddb/db_input.c 					if (p == db_history + db_history_size)
db_history        246 ddb/db_input.c 						p = db_history;
db_history        279 ddb/db_input.c 				if (++pp == db_history + db_history_size)
db_history        280 ddb/db_input.c 					pp = db_history;
db_history        298 ddb/db_input.c 				    db_history + db_history_size)
db_history        299 ddb/db_input.c 					db_history_last = db_history;