db_ddbproc_cmd     79 arch/i386/i386/db_interface.c void db_ddbproc_cmd(db_expr_t, int, db_expr_t, char *);
db_ddbproc_cmd    340 arch/i386/i386/db_interface.c 	{ "ddbcpu",	db_ddbproc_cmd,		0,	0 },