1803 	char *rname;  in kdb_rd()  local
1825 			rname = dbg_get_reg(i, &reg8, kdb_current_regs);  in kdb_rd()
1826 			if (!rname)  in kdb_rd()
1828 			len += kdb_printf("%s: %02x", rname, reg8);  in kdb_rd()
1831 			rname = dbg_get_reg(i, &reg16, kdb_current_regs);  in kdb_rd()
1832 			if (!rname)  in kdb_rd()
1834 			len += kdb_printf("%s: %04x", rname, reg16);  in kdb_rd()
1837 			rname = dbg_get_reg(i, &reg32, kdb_current_regs);  in kdb_rd()
1838 			if (!rname)  in kdb_rd()
1840 			len += kdb_printf("%s: %08x", rname, reg32);  in kdb_rd()
1843 			rname = dbg_get_reg(i, &reg64, kdb_current_regs);  in kdb_rd()
1844 			if (!rname)  in kdb_rd()
1846 			len += kdb_printf("%s: %016llx", rname, reg64);  in kdb_rd()
1872 	const char *rname;  in kdb_rm()  local
1884 	rname = argv[1];  in kdb_rm()
1885 	if (*rname == '%')  in kdb_rm()
1886 		rname++;  in kdb_rm()
1898 		if (strcmp(rname, dbg_reg_def[i].name) == 0) {  in kdb_rm()