GDB_REG_RBP
case GDB_REG_RBP: kdb_frame->tf_rbp = regval; break;
case GDB_REG_RBP: kdb_thrctx->pcb_rbp = regval; break;
case GDB_REG_RBP: return (&kdb_thrctx->pcb_rbp);