db_history_size    63 ddb/db_input.c int     db_history_size = DB_HISTORY_SIZE;/* size of history buffer */
db_history_size   125 ddb/db_input.c 			db_history + db_history_size - 1) \
db_history_size   133 ddb/db_input.c 			db_history_size - 1; \
db_history_size   224 ddb/db_input.c 				if (p == db_history + db_history_size)
db_history_size   245 ddb/db_input.c 					if (p == db_history + db_history_size)
db_history_size   279 ddb/db_input.c 				if (++pp == db_history + db_history_size)
db_history_size   298 ddb/db_input.c 				    db_history + db_history_size)