db_enter_ddb      127 arch/i386/i386/db_interface.c 	while (db_enter_ddb()) {
db_enter_ddb      107 arch/i386/include/db_machdep.h int db_enter_ddb(void);