register_name
register_name(i.mem_format.ra));
register_name(i.mem_format.rb));
register_name(i.branch_format.ra));
static const char *register_name(int);
register_name(i.operate_lit_format.ra));
db_printf("%s", register_name(i.operate_reg_format.rb));
db_printf(",%s", register_name(i.operate_lit_format.rc));
register_name(i.mem_format.rb));
register_name(i.mem_format.rb));
register_name(i.mem_format.ra));
register_name(i.jump_format.ra),
register_name(i.jump_format.rb));
register_name(i.jump_format.ra),
register_name(i.jump_format.rb));
register_name(p.mXpr_format.rd),
register_name(p.mem_format.rd));