1858 	char *rname;  in kdb_rd()  local
1880 			rname = dbg_get_reg(i, &reg8, kdb_current_regs);  in kdb_rd()
1881 			if (!rname)  in kdb_rd()
1883 			len += kdb_printf("%s: %02x", rname, reg8);  in kdb_rd()
1886 			rname = dbg_get_reg(i, &reg16, kdb_current_regs);  in kdb_rd()
1887 			if (!rname)  in kdb_rd()
1889 			len += kdb_printf("%s: %04x", rname, reg16);  in kdb_rd()
1892 			rname = dbg_get_reg(i, &reg32, kdb_current_regs);  in kdb_rd()
1893 			if (!rname)  in kdb_rd()
1895 			len += kdb_printf("%s: %08x", rname, reg32);  in kdb_rd()
1898 			rname = dbg_get_reg(i, &reg64, kdb_current_regs);  in kdb_rd()
1899 			if (!rname)  in kdb_rd()
1901 			len += kdb_printf("%s: %016llx", rname, reg64);  in kdb_rd()
1927 	const char *rname;  in kdb_rm()  local
1939 	rname = argv[1];  in kdb_rm()
1940 	if (*rname == '%')  in kdb_rm()
1941 		rname++;  in kdb_rm()
1953 		if (strcmp(rname, dbg_reg_def[i].name) == 0) {  in kdb_rm()