GDB_REG_RBX
case GDB_REG_RBX: kdb_frame->tf_rbx = regval; break;
case GDB_REG_RBX: kdb_thrctx->pcb_rbx = regval; break;
case GDB_REG_RBX: return (&kdb_thrctx->pcb_rbx);