REG_RBX
{ "rbx", REG_RBX, MDB_TGT_R_EXPORT },
{ "ebx", REG_RBX, MDB_TGT_R_EXPORT | MDB_TGT_R_32 },
{ "bx", REG_RBX, MDB_TGT_R_EXPORT | MDB_TGT_R_16 },
{ "bh", REG_RBX, MDB_TGT_R_EXPORT | MDB_TGT_R_8H },
{ "bl", REG_RBX, MDB_TGT_R_EXPORT | MDB_TGT_R_8L },
grs[REG_RBX], grs[REG_R9]);
grp[REG_RBX] = rp->r_rbx;
dst[EBX] = src[REG_RBX];
disp_reg_line(ph, &pstatus, "rbx", REG_RBX, "rdx", REG_RDX);
rs[REG_RBX] = status.pr_reg[REG_RBX];
rs[REG_RBX] = 0;
status.pr_reg[REG_RBX] = rs[REG_RBX];
dst[REG_RBX] = (uint32_t)src[EBX];
dst[REG_RBX] = (uint32_t)src[EBX];
dst[EBX] = src[REG_RBX];
lwp->lwp_status.pr_reg[REG_RBX] = prs64->pr_reg.lxr_rbx;
lwp->lwp_status.pr_reg[REG_RBX] = prs32->pr_reg.lxr_bx;
REG_RBX, /* EBX */
case REG_RBX:
case REG_RBX:
case REG_RBX: return (rp->r_rbx);
REG_RAX, REG_RCX, REG_RDX, REG_RBX, REG_RSP, REG_RBP, REG_RSI, REG_RDI,
dst[REG_RBX] = (uint32_t)src[EBX];
grp[REG_RBX] = rp->r_rbx;
dmc->gregs[REG_RBX] = (greg_t)(uint32_t)smc->gregs[EBX];
rp->r_rbx = grp[REG_RBX];
rp->r_rbx = (uint32_t)grp[REG_RBX];