db_machine_init  3111 arch/i386/i386/machdep.c 	db_machine_init();
db_machine_init   106 arch/i386/include/db_machdep.h void db_machine_init(void);
db_machine_init    65 ddb/db_interface.h void db_machine_init(void);