1814 	char *rname;  in kdb_rd()  local
1836 			rname = dbg_get_reg(i, &reg8, kdb_current_regs);  in kdb_rd()
1837 			if (!rname)  in kdb_rd()
1839 			len += kdb_printf("%s: %02x", rname, reg8);  in kdb_rd()
1842 			rname = dbg_get_reg(i, &reg16, kdb_current_regs);  in kdb_rd()
1843 			if (!rname)  in kdb_rd()
1845 			len += kdb_printf("%s: %04x", rname, reg16);  in kdb_rd()
1848 			rname = dbg_get_reg(i, &reg32, kdb_current_regs);  in kdb_rd()
1849 			if (!rname)  in kdb_rd()
1851 			len += kdb_printf("%s: %08x", rname, reg32);  in kdb_rd()
1854 			rname = dbg_get_reg(i, &reg64, kdb_current_regs);  in kdb_rd()
1855 			if (!rname)  in kdb_rd()
1857 			len += kdb_printf("%s: %016llx", rname, reg64);  in kdb_rd()
1883 	const char *rname;  in kdb_rm()  local
1895 	rname = argv[1];  in kdb_rm()
1896 	if (*rname == '%')  in kdb_rm()
1897 		rname++;  in kdb_rm()
1909 		if (strcmp(rname, dbg_reg_def[i].name) == 0) {  in kdb_rm()