dbg_get_reg
dbg_get_reg(cj, &cj_val, regs);
extern char *dbg_get_reg(int regno, void *mem, struct pt_regs *regs);
dbg_get_reg(i, ptr + idx, regs);
!dbg_get_reg(regnum, gdb_regs, ks->linux_regs)) {
rname = dbg_get_reg(i, ®8, kdb_current_regs);
rname = dbg_get_reg(i, ®16, kdb_current_regs);
rname = dbg_get_reg(i, ®32, kdb_current_regs);
rname = dbg_get_reg(i, ®64, kdb_current_regs);