db_sysregs_cmd     74 arch/i386/i386/db_interface.c void db_sysregs_cmd(db_expr_t, int, db_expr_t, char *);
db_sysregs_cmd    335 arch/i386/i386/db_interface.c 	{ "sysregs",	db_sysregs_cmd,		0,	0 },