X86_64_REGISTER_RBX
_AddIntegerRegister(X86_64_REGISTER_RBX, "rbx", B_UINT64_TYPE,
X86_64_REGISTER_RBX,
x64State->rbx = IntRegisterValue(X86_64_REGISTER_RBX);
SetIntRegister(X86_64_REGISTER_RBX, state.rbx);
context->values[ZYDIS_REGISTER_RBX] = state->IntRegisterValue(X86_64_REGISTER_RBX);