GPR_RBX
new_ctx->current_regs[GPR_RBX] = old_ctx->entry_regs[GPR_RBX];
ctx->entry_regs[GPR_RBX] = ctx->current_regs[GPR_RBX];
fix_reg(ctx, func_state, GPR_RBX);
case GPR_RBX: