X86_64_REGISTER_R9
_AddIntegerRegister(X86_64_REGISTER_R9, "r9", B_UINT64_TYPE,
X86_64_REGISTER_R9,
x64State->r9 = IntRegisterValue(X86_64_REGISTER_R9);
SetIntRegister(X86_64_REGISTER_R9, state.r9);
context->values[ZYDIS_REGISTER_R9] = state->IntRegisterValue(X86_64_REGISTER_R9);