ddb_init         3112 arch/i386/i386/machdep.c 	ddb_init();
ddb_init           36 ddb/db_extern.h void ddb_init(void);