db_stopproc_cmd    78 arch/i386/i386/db_interface.c void db_stopproc_cmd(db_expr_t, int, db_expr_t, char *);
db_stopproc_cmd   339 arch/i386/i386/db_interface.c 	{ "stopcpu",	db_stopproc_cmd,	0,	0 },