X86_64_REGISTER_RDX
_AddIntegerRegister(X86_64_REGISTER_RDX, "rdx", B_UINT64_TYPE,
X86_64_REGISTER_RDX,
x64State->rdx = IntRegisterValue(X86_64_REGISTER_RDX);
SetIntRegister(X86_64_REGISTER_RDX, state.rdx);
context->values[ZYDIS_REGISTER_RDX] = state->IntRegisterValue(X86_64_REGISTER_RDX);