db_cpuinfo_cmd     76 arch/i386/i386/db_interface.c void db_cpuinfo_cmd(db_expr_t, int, db_expr_t, char *);
db_cpuinfo_cmd    337 arch/i386/i386/db_interface.c 	{ "cpuinfo",	db_cpuinfo_cmd,		0,	0 },