1843 	char *rname;  in kdb_rd()  local
1865 			rname = dbg_get_reg(i, &reg8, kdb_current_regs);  in kdb_rd()
1866 			if (!rname)  in kdb_rd()
1868 			len += kdb_printf("%s: %02x", rname, reg8);  in kdb_rd()
1871 			rname = dbg_get_reg(i, &reg16, kdb_current_regs);  in kdb_rd()
1872 			if (!rname)  in kdb_rd()
1874 			len += kdb_printf("%s: %04x", rname, reg16);  in kdb_rd()
1877 			rname = dbg_get_reg(i, &reg32, kdb_current_regs);  in kdb_rd()
1878 			if (!rname)  in kdb_rd()
1880 			len += kdb_printf("%s: %08x", rname, reg32);  in kdb_rd()
1883 			rname = dbg_get_reg(i, &reg64, kdb_current_regs);  in kdb_rd()
1884 			if (!rname)  in kdb_rd()
1886 			len += kdb_printf("%s: %016llx", rname, reg64);  in kdb_rd()
1912 	const char *rname;  in kdb_rm()  local
1924 	rname = argv[1];  in kdb_rm()
1925 	if (*rname == '%')  in kdb_rm()
1926 		rname++;  in kdb_rm()
1938 		if (strcmp(rname, dbg_reg_def[i].name) == 0) {  in kdb_rm()