1830 	char *rname;  in kdb_rd()  local
1852 			rname = dbg_get_reg(i, &reg8, kdb_current_regs);  in kdb_rd()
1853 			if (!rname)  in kdb_rd()
1855 			len += kdb_printf("%s: %02x", rname, reg8);  in kdb_rd()
1858 			rname = dbg_get_reg(i, &reg16, kdb_current_regs);  in kdb_rd()
1859 			if (!rname)  in kdb_rd()
1861 			len += kdb_printf("%s: %04x", rname, reg16);  in kdb_rd()
1864 			rname = dbg_get_reg(i, &reg32, kdb_current_regs);  in kdb_rd()
1865 			if (!rname)  in kdb_rd()
1867 			len += kdb_printf("%s: %08x", rname, reg32);  in kdb_rd()
1870 			rname = dbg_get_reg(i, &reg64, kdb_current_regs);  in kdb_rd()
1871 			if (!rname)  in kdb_rd()
1873 			len += kdb_printf("%s: %016llx", rname, reg64);  in kdb_rd()
1899 	const char *rname;  in kdb_rm()  local
1911 	rname = argv[1];  in kdb_rm()
1912 	if (*rname == '%')  in kdb_rm()
1913 		rname++;  in kdb_rm()
1925 		if (strcmp(rname, dbg_reg_def[i].name) == 0) {  in kdb_rm()