HomeSort by: relevance | last modified time | path
    Searched refs:DDB_HISTORY_SIZE (Results 1 - 16 of 16) sorted by relevancy

  /src/sys/ddb/
db_input.c 46 #ifndef DDB_HISTORY_SIZE
47 #define DDB_HISTORY_SIZE 0
48 #endif /* DDB_HISTORY_SIZE */
63 #if DDB_HISTORY_SIZE != 0
64 static char db_history[DDB_HISTORY_SIZE]; /* start of history buffer */
131 #if DDB_HISTORY_SIZE != 0
135 if (db_history_curr > db_history + DDB_HISTORY_SIZE - 1) \
141 db_history_curr = db_history + DDB_HISTORY_SIZE - 1; \
148 KASSERT(db_history_last <= &db_history[DDB_HISTORY_SIZE-1]);
152 if (db_history_last > &db_history[DDB_HISTORY_SIZE-1]
    [all...]
  /src/sys/arch/evbarm/conf/
GEMINI 108 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
GEMINI_MASTER 109 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
GEMINI_SLAVE 109 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
GENERIC.common 128 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
BCM5301X 138 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
BCM56340 138 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
ARMADAXP 124 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
  /src/sys/arch/atari/conf/
ATARITT 36 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
FALCON 41 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
MILAN-ISAIDE 40 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
MILAN-PCIIDE 40 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
HADES 40 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
GENERIC.in 145 options DDB_HISTORY_SIZE=100 # Enable history editing in DDB
  /src/sys/arch/playstation2/conf/
DEBUG 31 options DDB_HISTORY_SIZE=512 # enable history editing in DDB
  /src/sys/arch/riscv/conf/
GENERIC.common 52 options DDB_HISTORY_SIZE=512 # enable history editing in DDB

Completed in 16 milliseconds