X86_64_REGISTER_R11
_AddIntegerRegister(X86_64_REGISTER_R11, "r11", B_UINT64_TYPE,
X86_64_REGISTER_R11,
x64State->r11 = IntRegisterValue(X86_64_REGISTER_R11);
SetIntRegister(X86_64_REGISTER_R11, state.r11);
context->values[ZYDIS_REGISTER_R11] = state->IntRegisterValue(X86_64_REGISTER_R11);