DDB_HISTORY_SIZE
#if DDB_HISTORY_SIZE != 0
if (db_history_curr > db_history + DDB_HISTORY_SIZE - 1) \
db_history_curr = db_history + DDB_HISTORY_SIZE - 1; \
KASSERT(db_history_last <= &db_history[DDB_HISTORY_SIZE-1]);
if (db_history_last > &db_history[DDB_HISTORY_SIZE-1])
#if DDB_HISTORY_SIZE != 0
if (p >= db_history + DDB_HISTORY_SIZE) {
if (p >= db_history + DDB_HISTORY_SIZE) {
#if DDB_HISTORY_SIZE != 0
if (++pp >= db_history + DDB_HISTORY_SIZE) {
if (++pc >= db_history + DDB_HISTORY_SIZE) {
#ifndef DDB_HISTORY_SIZE
#if DDB_HISTORY_SIZE != 0
static char db_history[DDB_HISTORY_SIZE]; /* start of history buffer */