X86_64_REGISTER_R13
_AddIntegerRegister(X86_64_REGISTER_R13, "r13", B_UINT64_TYPE,
X86_64_REGISTER_R13,
x64State->r13 = IntRegisterValue(X86_64_REGISTER_R13);
SetIntRegister(X86_64_REGISTER_R13, state.r13);
context->values[ZYDIS_REGISTER_R13] = state->IntRegisterValue(X86_64_REGISTER_R13);